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. |
||
|---|---|---|
| .. | ||
| icons | ||
| authors.txt | ||
| error-list-docs.factor | ||
| error-list.factor | ||