factor/extra/ui
Slava Pestov 7b2a705352 <border> now takes a pair instead of an integer 2009-02-02 00:00:45 -06:00
..
gadgets UI cleanup: make some ui.gadgets words private, give labels a virtual slot instead of label-string/set-label-string words 2009-02-01 20:31:42 -06:00
offscreen don't need dispose on offscreen-world, and it breaks compiling 2008-12-11 21:49:45 -08:00
render/test <border> now takes a pair instead of an integer 2009-02-02 00:00:45 -06:00