backend
|
ui.theme: updates to color scheme.
|
2016-05-09 21:40:56 -07:00 |
gadgets
|
ui.gadgets.theme: rename to ui.theme.images.
|
2016-05-22 07:53:21 -07:00 |
gestures
|
docs: minor fixes and amendments.
|
2016-05-22 07:53:21 -07:00 |
images
|
ui.images: don't need to << >>.
|
2015-07-28 19:14:01 -07:00 |
pens
|
Revert "solid-underlined"
|
2015-08-16 07:53:26 -07:00 |
pixel-formats
|
factor: fix whitespace at end of files.
|
2016-04-06 16:53:25 -07:00 |
render
|
Replaced hard-coded colors with constants
|
2016-05-09 21:40:56 -07:00 |
text
|
ui.*: a little more ui docs
|
2015-10-15 16:27:15 +02:00 |
theme
|
ui.gadgets.theme: rename to ui.theme.images.
|
2016-05-22 07:53:21 -07:00 |
tools
|
browser: trim whitespace from query before search.
|
2016-05-22 07:54:53 -07:00 |
ui.factor
|
ui: ceiling world dimensions when opening.
|
2016-05-06 20:57:03 -07:00 |