From: Richard Kettlewell <rjk@greenend.org.uk>
Date: Mon, 21 Apr 2008 19:15:35 +0000 (+0100)
Subject: Nobble set_tool_colors().  We seem to be better off without.
X-Git-Tag: 4.0~111
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~mdw/git/disorder/commitdiff_plain/87eb933d52879c57c5427a36c2f0b0e7efd9d60c

Nobble set_tool_colors().  We seem to be better off without.
---

diff --git a/disobedience/settings.c b/disobedience/settings.c
index 3cc4180..8355712 100644
--- a/disobedience/settings.c
+++ b/disobedience/settings.c
@@ -264,22 +264,13 @@ void load_settings(void) {
   }
 }
 
-/** @brief Callback used by set_tool_colors() */
-static void set_tool_colors_callback(GtkWidget *w,
-                                     gpointer attribute((unused)) data) {
-  set_tool_colors(w);
-}
-
-/** @brief Recursively set tool widget colors */
-void set_tool_colors(GtkWidget *w) {
-  GtkWidget *child;
-
-  gtk_widget_set_style(w, tool_style);
-  if(GTK_IS_CONTAINER(w))
-    gtk_container_foreach(GTK_CONTAINER(w), set_tool_colors_callback, 0);
-  if(GTK_IS_MENU_ITEM(w)
-     && (child = gtk_menu_item_get_submenu(GTK_MENU_ITEM(w))))
-    set_tool_colors(child);
+/** @brief Recursively set tool widget colors
+ *
+ * This is currently unused; the idea was to allow for configurability without
+ * allowing GTK+ to override our use of color, but things seem generally better
+ * without this particular call.
+ */
+void set_tool_colors(GtkWidget attribute((unused)) *w) {
 }
 
 /** @brief Pop up a settings editor widget */