diff src/ui_misc.h @ 339:de1c2cd06fce

Rename user_specified_window_background and window_background_color to image.use_custom_border_color and image.border_color. Rename pref_background_color_set_cb() to pref_color_button_set_cb(). Rename pref_colorbutton_new() to pref_color_button_new().
author zas_
date Sat, 12 Apr 2008 21:38:55 +0000
parents fa0e05f985c3
children 4b2d7f9af171
line wrap: on
line diff
--- a/src/ui_misc.h	Sat Apr 12 19:33:59 2008 +0000
+++ b/src/ui_misc.h	Sat Apr 12 21:38:55 2008 +0000
@@ -179,10 +179,10 @@
 gint pref_list_string_get(const gchar *group, const gchar *key, const gchar **result);
 
 
-void pref_background_color_set_cb(GtkWidget *widget, gpointer data);
-GtkWidget *pref_colorbutton_new(GtkWidget *parent_box,
-				const gchar *title, const GdkColor *color,
-				GCallback func, gpointer data);
+void pref_color_button_set_cb(GtkWidget *widget, gpointer data);
+GtkWidget *pref_color_button_new(GtkWidget *parent_box,
+			 	 const gchar *title, const GdkColor *color,
+			 	 GCallback func, gpointer data);
 
 
 #endif