Slava Pestov 0835eb374b 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
..
ui	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
authors.txt	…
summary.txt	…
tags.txt	…
test-docs.factor	…
test-tests.factor	…
test.factor	…