a63355a03e
gui: we don't really do selection in the flowbox, so let's make it white
2019-07-23 12:58:08 +10:00
0b9d4c2602
gui: round off the borders for the paper itself
...
Because we don't want to hurt ourselves on those sharp edges, do we?
2019-07-19 16:43:54 +10:00
8a76d4eae3
gui: some more styling of the drawings
2019-07-19 14:37:51 +10:00
5dddefe9d4
gui: make the drawings slightly off-white
...
Some randome color off the google colour picker that's supposed to look more
like a real paper color. This also means we set the general background white
now to give it a better contrast.
2019-07-19 14:37:51 +10:00
b7079e2343
gui: restyle the drawing entries
2019-07-18 18:26:31 +10:00
fec00a2190
Rename the tuhigui script to tuhi-gui
...
Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
2019-07-18 12:19:29 +10:00
Peter Hutterer