9c22098dec
This allows backwards compatibility with 0.97 API. Adding <colored-labeled-gadget> for a version with a colored divider and implementing it with a gap between title bar and content intead of a shelf border gadget. |
||
|---|---|---|
| .. | ||
| browser | ||
| common | ||
| debugger | ||
| deploy | ||
| error-list | ||
| inspector | ||
| listener | ||
| operations | ||
| traceback | ||
| walker | ||
| authors.txt | ||
| summary.txt | ||
| tags.txt | ||
| tools-docs.factor | ||
| tools.factor | ||