fix up settings a bit. THEME_CUSTOM_STATUSBAR isn't needed (and was actually the...
commit0da3c8570a43248b002ffaa546c35bb499c1fd96
authorThomas Martitz <thomas.martitz@student.htw-berlin.de>
Thu, 27 Aug 2009 22:02:15 +0000 (28 00:02 +0200)
committerThomas Martitz <thomas.martitz@student.htw-berlin.de>
Sat, 29 Aug 2009 11:00:50 +0000 (29 13:00 +0200)
tree2c44874c6dc1a8ffd0403d2cb571eb26fee6aa5f
parenta05de21cf691f9e382abe1fc89478bbbd4561ee6
fix up settings a bit. THEME_CUSTOM_STATUSBAR isn't needed (and was actually the same as THEME_STATUSBAR). Remove unused code. Fix redrawing when changing settings in the theme_settings menu.
apps/filetree.c
apps/gui/viewport.c
apps/gui/viewport.h
apps/menus/theme_menu.c