New dark GTK style

2018-03-12 21:52:33 +01:00
parent a006a81149
commit 3b22be9dba
2 changed files with 55 additions and 2 deletions
--- a/2
+++ b/2
@@ -1,7 +1,5 @@
 Things to do, eventually:

- - I know nothing about designing GUIs, and I'm afraid it shows.  Redesign.
-
 - Jack-keyboard does strange things to input focus and keyboard event
   handling.  Verify that it does not cause any problems.