gadgets
|
ui.gadgets: fix docs for max-dims.
|
2012-08-01 07:37:44 -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 |
text
|
core-text: use cached-lines get-global.
|
2012-08-02 21:35:28 -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 |