gadgets
|
ui.gadgets.tables: fix stack effect names.
|
2012-09-20 18:24:57 -07:00 |
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.gadgets.tables: some performance improvements.
|
2012-09-20 08:34:43 -07:00 |
ui-docs.factor
|
ui.gadgets: rename max-dim and dim-sum.
|
2012-07-13 23:19:21 -07:00 |