diff options
Diffstat (limited to 'ui/gtk/prefs_gui.c')
| -rw-r--r-- | ui/gtk/prefs_gui.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ui/gtk/prefs_gui.c b/ui/gtk/prefs_gui.c index 7e0fcf4416..9de6ca5c15 100644 --- a/ui/gtk/prefs_gui.c +++ b/ui/gtk/prefs_gui.c @@ -167,7 +167,9 @@ gui_prefs_show(void) /* Main grid */ main_grid = ws_gtk_grid_new(); gtk_box_pack_start(GTK_BOX(main_vb), main_grid, FALSE, FALSE, 0); +#if GTK_CHECK_VERSION(3,0,0) gtk_widget_set_vexpand(GTK_WIDGET(main_grid), FALSE); /* Ignore VEXPAND requests from children */ +#endif ws_gtk_grid_set_row_spacing(GTK_GRID(main_grid), 10); ws_gtk_grid_set_column_spacing(GTK_GRID(main_grid), 15); |