backend
ui.backend.gtk: better gesture for shift tab
2012-09-29 15:54:15 +02:00
event-loop
Factor source files should not be executable
2009-11-21 17:50:43 -06:00
gadgets
update some docs that should use $quotation.
2012-09-27 11:09:17 -07:00
images
Make "foo.private" require load foo instead.
2011-11-02 11:50:03 -07:00
operations
update some docs that should use $quotation.
2012-09-27 11:09:17 -07:00
pens
ui.gadgets: rename max-dim and dim-sum.
2012-07-13 23:19:21 -07:00
pixel-formats
issue #358 : delete unused word
2012-06-21 08:38:03 -07:00
render
cleanup some use of with-scope.
2012-07-19 13:55:34 -07:00
text
ui.text: more globals.
2012-09-21 18:40:38 -07:00
ui-docs.factor
ui.gadgets: rename max-dim and dim-sum.
2012-07-13 23:19:21 -07:00
ui.factor
ui: use "windows get-global".
2012-09-21 15:39:49 -07:00