Thu, 23 Mar 2000 04:13:40 +0000
[gaim-migrate @ 18] Fix to make button pixmaps update quicker.
--- a/src/prefs.c Thu Mar 23 03:46:31 2000 +0000 +++ b/src/prefs.c Thu Mar 23 04:13:40 2000 +0000 @@ -102,6 +102,9 @@ void set_display_option(GtkWidget *w, int *option) { display_options = display_options ^ (int)option; + + update_button_pix(); + save_prefs(); }