Commit Graph

15 Commits (a5781ff8cc2d0bfcbfdaafc825fc3815a013497c)

Author SHA1 Message Date
John Benediktsson efe2926d8e ui: change some places to call safe-summary. 2012-07-22 14:37:15 -07:00
Keita Haga 5cad80fdc9 ui.gadgets.status-bar: fix typo in docs 2011-01-16 21:46:01 +09:00
Keith Lazuka 405e5d015b docs: change $subsection to $subsections 2009-10-02 12:15:48 -04:00
Keith Lazuka ab7e2fc69b Factor theme colors are now referenced by name.
Added a text file, "factor-colors.txt", which is like "rgb.txt" except it lists the theme colors used in the Factor UI.

Changed url-style color to DodgerBlue4 to match link-style.
2009-09-08 15:25:27 -04:00
Keith Lazuka 3fb75247b2 Applied ui-tweaks patchset.
- prettyprinter now does syntax highlighting of Factor code
- added a prettyprinter.stylesheet vocab
- text shadow character style for formatted streams
- text shadow for labels
- toolbar buttons display keyboard shortcut in status bar rather than in the button title
- changed some colors in help.stylesheet to match the colors in Factor's scrollbars and border-buttons
- changed status bar color to match the dark blue in Factor's scrollbars
- added some internal padding to the browser gadget to give the article content some breathing room

NOTE: I removed the "pane" slot from browser-gadget. The slot was never used (at least in my image), and now that the browser-gadget's help-pane is wrapped by a "border" gadget, the slot name would be misleading.
2009-09-08 13:30:30 -04:00
Joe Groff 804d4aae81 docs for new world words 2009-05-03 23:01:26 -05:00
Joe Groff 474735a60c update status-bar for api changes. set the gl-context outside of draw-world* generic 2009-05-03 17:11:01 -05:00
Slava Pestov 16ddc461b4 Document ui.gadgets.glass and fix help lint failures in UI docs 2009-03-10 17:28:34 -05:00
Slava Pestov 571db75e40 Update code for model class renamings 2009-02-26 16:15:28 -06:00
Slava Pestov a0253106b1 ui.gadgets.status-bar: write some docs and add notion of status message ownership to avoid some subtle race issues with completion popup and listener's keyboard help 2009-02-19 18:01:26 -06:00
Slava Pestov 86f7a4c282 Fix load errors; ui.gadgets.theme removed 2009-02-15 23:14:18 -06:00
Slava Pestov cdf3b48986 Refactoring usages of >r/r> to dip in UI 2008-11-28 00:02:02 -06:00
Slava Pestov c19f2257f4 Fix permission bits 2008-10-02 08:34:49 -05:00
Doug Coleman fc848a4e6d new accessors 2008-09-01 22:45:13 -05:00
Eduardo Cavazos 7402cd2ab7 Move 'ui' to basis 2008-08-07 21:12:50 -05:00