[Author Prev][Author Next][Thread Prev][Thread Next][Author Index][Thread Index]
gEDA-user: [PATCH 2/4][PCB] Add call to ghid_set_special_colors() to config_color_set_cb()
In the original code some changes to color preferences (eg changing the
backgroung color) would not take effect until the color preferences
were reloaded or pcb was restarted. This is inconsistent with other
color preference changes which are updated immediately without reloading
or restarting.
Calling ghid_set_special_colors() in config_color_set_cb() allows
some additional color preferences to be updated immediately without
reloading color preferences or restarting pcb.
Signed-off-by: Peter Tyser <ptyser@xxxxxxxxx>
---
src/hid/gtk/gui-config.c | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)
diff --git a/src/hid/gtk/gui-config.c b/src/hid/gtk/gui-config.c
index 55ab6e7..5230a58 100644
--- a/src/hid/gtk/gui-config.c
+++ b/src/hid/gtk/gui-config.c
@@ -1922,6 +1922,7 @@ config_color_set_cb (GtkWidget * button, ConfigColor * cc)
gtk_widget_set_sensitive (config_colors_save_button, TRUE);
gtk_widget_set_sensitive (config_color_warn_label, TRUE);
+ ghid_set_special_colors (ha);
ghid_layer_buttons_color_update ();
ghid_invalidate_all();
}
--
1.6.2-rc2.GIT
_______________________________________________
geda-user mailing list
geda-user@xxxxxxxxxxxxxx
http://www.seul.org/cgi-bin/mailman/listinfo/geda-user