-
Committer:
Jonathan Thomas
-
Date:
2012-09-28 05:30:12 UTC
-
Revision ID:
jonathan.oomph@gmail.com-20120928053012-q2sn9d5iq313gtmv
Fixed an ugly bug with changing themes, where some of the settings would be left from the previous theme. Also, updated the new "holo" dark theme to look better.