gadgets
|
ui.gadgets: fix docs for max-dims.
|
2012-08-01 07:37:44 -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
|
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 |