prefs: UI updates; large toolbar icons by default
authorAndrew Chadwick <andrewc-git@piffle.org>
Sun, 5 Jan 2014 17:38:10 +0000 (17:38 +0000)
committerAndrew Chadwick <andrewc-git@piffle.org>
Sun, 5 Jan 2014 20:18:09 +0000 (20:18 +0000)
commit7dd6b455098c0120e232384e8e0c2c0590b5448f
tree478adde8bd868fcc5909dd1a7bdd82d9e72abf33
parent26757dd8142b442dac20909cc17246653926cc9f
prefs: UI updates; large toolbar icons by default

Space out the prefs window a bit more, and add an explanatory note to the
bottom of the View page telling users they'll have to restart to see the
icon size and dark theme variants.

The "large" (24x24, same size as before) icons are prettier, so turn them
on by default. There is a known problem with Ubuntu 12.04 LTS (and similar
versions of GTK) where larger symbolic icons do not render correctly. This
can be worked around by upgrading or by selecting small icons.
gui/application.py
gui/preferenceswindow.glade
gui/preferenceswindow.py