On Sat, Feb 11, 2023 at 7:50 PM Jamie Zawinski wrote: > > Maybe this fixes it?
Yes, many thanks, that seems to fix it. Tormod > > --- 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. >
