clipboards
|
improve help by linking to types directly.
|
2014-05-23 20:20:15 -07:00 |
gestures
|
improve help by linking to types directly.
|
2014-05-23 20:20:15 -07:00 |
operations
|
improve help by linking to types directly.
|
2014-05-23 20:20:15 -07:00 |
pens
|
ui.gadgets: rename max-dim and dim-sum.
|
2012-07-13 23:19:21 -07:00 |
pixel-formats
|
update docs for help.lint checks.
|
2013-08-24 11:39:31 -07:00 |
render
|
ui: change selected gadgets to a hash-set.
|
2013-03-10 16:13:30 -07:00 |
text
|
ui.text.core-text: fix jumping "def".
|
2012-12-11 08:06:02 -08:00 |
traverse
|
ui: change selected gadgets to a hash-set.
|
2013-03-10 16:13:30 -07:00 |
ui.factor
|
switch some vocabs to 4 spaces.
|
2013-07-24 14:52:09 -07:00 |