# HG changeset patch
# User Rob Flynn <gaim@robflynn.com>
# Date 953784820 0
# Node ID effb8a20de2625873142119230403d93a3e89873
# Parent  a2e36e80c83253a2cd84510f946440b3446c9abe
[gaim-migrate @ 18]
Fix to make button pixmaps update quicker.

committer: Tailor Script <tailor@pidgin.im>

diff -r a2e36e80c832 -r effb8a20de26 src/prefs.c
--- 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();
 }