app: disable overlay scrolling for preferences pages

the overlay was messing with the usability of the page's widgets.
This commit is contained in:
Michael Natterer 2019-06-07 12:36:59 +02:00
parent 8c1567f901
commit 9cbc6d0304

View file

@ -280,6 +280,8 @@ gimp_prefs_box_add_page (GimpPrefsBox *box,
scrolled_win = gtk_scrolled_window_new (NULL, NULL);
gtk_scrolled_window_set_policy (GTK_SCROLLED_WINDOW (scrolled_win),
GTK_POLICY_NEVER, GTK_POLICY_NEVER);
gtk_scrolled_window_set_overlay_scrolling (GTK_SCROLLED_WINDOW (scrolled_win),
FALSE);
gtk_box_pack_start (GTK_BOX (page_vbox), scrolled_win, TRUE, TRUE, 0);
gtk_widget_show (scrolled_win);