backend
|
ui.backend.gtk: fix yield delay on gtk backend.
|
2014-08-05 11:24:23 -07:00 |
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 |
images
|
Make "foo.private" require load foo instead.
|
2011-11-02 11:50:03 -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 |