Commit Graph

18 Commits (cf6ae0ec2e2c38b271e5b577bd2bf06f5280cbde)

Author SHA1 Message Date
John Benediktsson 98935b7f15 docs: change ``{ $quotation "( x -- y )" }`` to ``{ $quotation ( x -- y ) }``. 2014-05-18 20:09:10 -07:00
Slava Pestov 235ad395c2 ui.gadgets.buttons: improve docs 2009-12-02 09:11:40 -05:00
Keith Lazuka 405e5d015b docs: change $subsection to $subsections 2009-10-02 12:15:48 -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
Aaron Schaefer cbd6b0ed3b fix documentation typo 2009-04-06 15:18:35 -04:00
Slava Pestov 8fec1f5d40 Fix load errors 2009-02-15 06:01:53 -06:00
Slava Pestov 9ebc487f44 Kill ui.gadgets.theme 2009-02-14 19:50:22 -06:00
Slava Pestov 6bbb4630f3 Rename labelled to labeled -- correct spelling 2009-02-14 19:48:32 -06:00
Slava Pestov b89bbb2ffd Update buttons docs 2009-02-13 19:16:44 -06:00
Slava Pestov 54a58cc196 Split off ui.pens from ui.render 2009-02-12 03:58:42 -06:00
Slava Pestov bdaa5eac31 Minor UI documentation updates 2009-01-06 23:30:08 -06:00
Slava Pestov 5fff1bdf05 Clean up ui.gadgets.menus, improve docs, ad add right-click menus to panes and editors with clipboard commands 2008-11-30 15:03:05 -06:00
Slava Pestov 9bf63b1613 New $quotation markup element 2008-11-16 09:03:30 -06:00
Slava Pestov c19f2257f4 Fix permission bits 2008-10-02 08:34:49 -05:00
Eduardo Cavazos 4bebffd170 Update usages of old accessors from 'ui.gadgets.buttons' 2008-08-30 19:52:40 -05:00
Eduardo Cavazos b33be738f9 Use new accessors in place of old accessors from 'ui.gadgets' 2008-08-30 16:31:42 -05:00
Slava Pestov 8b855b2445 Help lint fixes 2008-08-22 23:00:35 -05:00
Eduardo Cavazos 7402cd2ab7 Move 'ui' to basis 2008-08-07 21:12:50 -05:00