style: EXPERIMENTAL use dark GTK3 theme variants
authorAndrew Chadwick <andrewc-git@piffle.org>
Mon, 4 Nov 2013 02:54:38 +0000 (02:54 +0000)
committerAndrew Chadwick <andrewc-git@piffle.org>
Sun, 5 Jan 2014 20:17:43 +0000 (20:17 +0000)
commitf73b0eb4234d2c1525a8a08c7cecc9c1f3a5303d
tree7e9ca366afb2d08d375aa470f7de2f44ea7c5873
parent9319c2738466bededfcb691f09eaf1eae202722c
style: EXPERIMENTAL use dark GTK3 theme variants

Allow use of GTK3 theme dark variants (if they exist) via a prefs setting.
No UI written for this yet.
gui/gtk2compat.py
gui/main.py