gestures
|
Rename class to class-of
|
2011-10-24 06:47:42 -05:00 |
images
|
Make "foo.private" require load foo instead.
|
2011-11-02 11:50:03 -07:00 |
operations
|
ui.operations: fix stack names.
|
2011-11-12 18:48:18 -08: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 |
tools
|
ui.tools.browser: fix stack effect name.
|
2012-08-17 10:13:44 -07:00 |
ui-docs.factor
|
ui.gadgets: rename max-dim and dim-sum.
|
2012-07-13 23:19:21 -07:00 |