]> git.tuebingen.mpg.de Git - paraslash.git/blobdiff - gui_theme.c
gui: Remove change_theme().
[paraslash.git] / gui_theme.c
index 3963d35267e33307fc68867513a08c66ccfb591f..3c9886d18a2a2a3cbae88a74f79b052391b64672 100644 (file)
@@ -381,6 +381,7 @@ static void set_theme(int num, struct gui_theme *t)
        t->name = themes[num].name;
        themes[num].init(t);
        current_theme_num = num;
+       PARA_NOTICE_LOG("theme: %s\n", t->name);
 }
 
 void theme_init(const char *name, struct gui_theme *t)