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