9c22098dec
ui.gadgets.labeled: make <labeled-gadget> not take a color.
...
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.
2018-02-11 09:53:48 -08:00
d1f5282c6d
ui.gadgets.labeled: cleanup labeled-gadget words.
2017-10-25 15:00:22 -07:00
6b440e5e81
ui.gadgets: fix help-lint warnings.
2015-08-16 10:46:28 -07:00
405e5d015b
docs: change $subsection to $subsections
2009-10-02 12:15:48 -04:00
58e55d4f45
Working on documentation
2009-02-19 16:54:27 -06:00
4c86bd0951
Various UI cosmetic fixes
2009-02-14 20:46:35 -06:00
6bbb4630f3
Rename labelled to labeled -- correct spelling
2009-02-14 19:48:32 -06:00
John Benediktsson
Keith Lazuka
Slava Pestov