John Benediktsson
|
63410f62c8
|
ui.theme: updates to color scheme.
Fixes circularity and adds theme switching to Mac menu.
Could use some simplification and reduction in color theme hooks.
|
2016-05-09 21:40:56 -07:00 |
nicolas-p
|
7a028977c4
|
Moved both themes into ui.theme
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
0d6ae8a8b9
|
Fixed USING
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
f54fa08e05
|
Added tooltip for themes
|
2016-05-09 21:40:56 -07:00 |
|
John Benediktsson
|
a33fc84de7
|
help.lint.checks: re-enable leak detection.
|
2015-05-12 10:46:37 -07:00 |
Keith Lazuka
|
405e5d015b
|
docs: change $subsection to $subsections
|
2009-10-02 12:15:48 -04:00 |
Slava Pestov
|
1a35be8ae0
|
Add a new tip
|
2009-04-03 09:44:48 -05:00 |
|
Slava Pestov
|
2aaeb62c4e
|
Fix up 'demos' vocab
|
2009-04-02 01:17:55 -05:00 |
|
Slava Pestov
|
0eb415b671
|
Tips of the day now implement the definition protocol
|
2009-03-26 13:02:28 -05:00 |
|
Slava Pestov
|
7741d2ca23
|
- definitions.icons now has a reference article
- move about to help.vocabs; it now opens the vocab browser instead
- help.vocabs is in default use list
- add runnable-vocab predicate class
|
2009-03-24 09:11:45 -05:00 |
|
Slava Pestov
|
637d06a4f8
|
Add silly 'tip of the day' feature, and 'recently visited' list to UI browser home page
|
2009-03-24 04:11:08 -05:00 |