Maybe this fixes it?

--- a/driver/demo-Gtk.c
+++ b/driver/demo-Gtk.c
@@ -1677,6 +1677,7 @@ switch_page_cb (GtkNotebook *notebook, GtkWidget *page,
   state *s = &win->state;
 
   if (s->debug_p) fprintf (stderr, "%s: tab changed\n", blurb());
+  populate_prefs_page (s);
   pref_changed_cb (GTK_WIDGET (notebook), user_data);
 
   /* If we're switching to page 0, schedule the current hack to be run.

Reply via email to