+void init_theme_or_die(const char *name, struct gui_theme *t)
+{
+ int i;
+
+ if (!name)
+ return set_theme(0, t);
+ for (i = 0; i < NUM_THEMES; i++)
+ if (strcmp(name, themes[i].name) == 0)
+ return set_theme(i, t);
+ fprintf(stderr, "Available themes:\n");
+ for (i = 0; i < NUM_THEMES; i++)
+ fprintf(stderr, "\t%s\n", themes[i].name);
+ exit(EXIT_FAILURE);