factor/extra/ui/gadgets
John Benediktsson f6af1da32f ui: use control-value/set-control-value in a few places. 2014-12-17 13:05:00 -08:00
..
book-extras ui: use control-value/set-control-value in a few places. 2014-12-17 13:05:00 -08:00
lists docs: change ``{ $quotation "( x -- y )" }`` to ``{ $quotation ( x -- y ) }``. 2014-05-18 20:09:10 -07:00
worlds/null use world-attributes pref-dim instead of world pref-dim* method where applicable 2010-01-16 11:44:58 -08:00