backend
|
ui.backend.gtk: simplify calls to gtk_init.
|
2016-04-04 15:00:04 -07:00 |
event-loop
|
ui: rename windows to ui-windows
|
2015-06-10 15:36:35 -07:00 |
gadgets
|
Changed warning background in light theme
|
2016-05-09 21:40:56 -07:00 |
gestures
|
disambiguate namespaces:set and sets:set.
|
2016-03-29 17:14:42 -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 |
tools
|
Set text color almost everywhere
|
2016-05-09 21:40:56 -07:00 |
ui.factor
|
ui: ceiling world dimensions when opening.
|
2016-05-06 20:57:03 -07:00 |