Refresh after changing themes.
commit6a5a638b5926d281a17a7b9c26df619f83ba552e
authorPaolo Capriotti <p.capriotti@gmail.com>
Sun, 21 Feb 2010 12:46:27 +0000 (21 12:46 +0000)
committerPaolo Capriotti <p.capriotti@gmail.com>
Sun, 21 Feb 2010 12:46:27 +0000 (21 12:46 +0000)
tree91647d4c3e5d851d04e45c606d272b2c870092fb
parent81d38475af92b7af456e5f3425a97a5e313db662
Refresh after changing themes.
lib/controller.rb
lib/mainwindow.rb
lib/theme_prefs.rb