Set filter options inside a scrolled window so they can all be accessed under the...

diff --git a/src/settings-gui.c b/src/settings-gui.c
index 50ef49a86eca86d5896c63608c609aea2bc33ead..a8aabeed63063510e46fe0740efbfd26e980ff0c 100644 (file)
--- a/src/settings-gui.c
+++ b/src/settings-gui.c
@@ -413,6 +413,7 @@ settings_dialog(void)
        GtkWidget *cmb_speed_location;
        GtkWidget *cmb_info_font_size;
 
+       GtkWidget *_filter_window;
        GtkWidget *chk_gps_filter;
        GtkWidget *num_angle;
        GtkWidget *num_hdop;
@@ -477,10 +478,14 @@ settings_dialog(void)
        gtk_label_set_justify(GTK_LABEL(label), GTK_JUSTIFY_CENTER);
        gtk_misc_set_alignment(GTK_MISC(label), 0.5f, 0.5f);
 
+       _filter_window=gtk_scrolled_window_new(NULL, NULL);
        gtk_notebook_append_page(GTK_NOTEBOOK(notebook),
-                                table = gtk_table_new(2, 5, FALSE),
+                                _filter_window,
                                 label = gtk_label_new(_("Filter")));
 
+       table = gtk_table_new(2, 5, FALSE);
+       gtk_scrolled_window_add_with_viewport(_filter_window, table);
+
        gtk_table_attach(GTK_TABLE(table),
                         chk_gps_filter = gtk_check_button_new_with_label(_("Enable GPS track filter")),
                         0, 2, 0, 1, GTK_EXPAND | GTK_FILL, 0, 2, 4);