use GtkStyles everywhere instead of explicit colors. faster.

[disorder] / disobedience / disobedience.h

diff --git a/disobedience/disobedience.h b/disobedience/disobedience.h
index 293a773c4bbca94f9e388841efd4840ad1c507d8..ea5d095257899dc867dbf706cfb371ac9e2dae51 100644 (file)
--- a/disobedience/disobedience.h
+++ b/disobedience/disobedience.h
@@ -133,7 +133,7 @@ void properties(int ntracks, const char **tracks);
 
 void properties_reset(void);
 
-GtkWidget *scroll_widget(GtkWidget *child, const char *name);
+GtkWidget *scroll_widget(GtkWidget *child);
 /* Wrap a widget up for scrolling */
 
 GdkPixbuf *find_image(const char *name);
@@ -245,6 +245,24 @@ int rtp_running(void);
 void start_rtp(void);
 void stop_rtp(void);
 
+/* Settings */
+
+void init_styles(void);
+extern GtkStyle *layout_style;
+extern GtkStyle *title_style;
+extern GtkStyle *even_style;
+extern GtkStyle *odd_style;
+extern GtkStyle *active_style;
+extern GtkStyle *tool_style;
+extern GtkStyle *search_style;
+extern GtkStyle *drag_style;
+
+extern const char *browser;
+
+void save_settings(void);
+void load_settings(void);
+void set_tool_colors(GtkWidget *w);
+
 /* Widget leakage debugging rubbish ---------------------------------------- */
 
 #if MDEBUG