[gedit] Remove overview map: remove from preferences dialog

[Sébastien Wilmet <swilmet src gnome org>]

commit 7c7296b0e262333270b9803e31801aab6a5efc97
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Mon Nov 25 14:36:28 2019 +0100

    Remove overview map: remove from preferences dialog
    
    First step. See a follow-up commit for the rationale.

 gedit/gedit-preferences-dialog.c               |  7 -------
 gedit/resources/ui/gedit-preferences-dialog.ui | 17 +----------------
 2 files changed, 1 insertion(+), 23 deletions(-)
---
diff --git a/gedit/gedit-preferences-dialog.c b/gedit/gedit-preferences-dialog.c
index aca126765..38f338ab7 100644
--- a/gedit/gedit-preferences-dialog.c
+++ b/gedit/gedit-preferences-dialog.c
@@ -117,7 +117,6 @@ struct _GeditPreferencesDialog
 
        GtkWidget       *display_line_numbers_checkbutton;
        GtkWidget       *display_statusbar_checkbutton;
-       GtkWidget       *display_overview_map_checkbutton;
        GtkWidget       *display_grid_checkbutton;
 
        /* Right margin */
@@ -183,7 +182,6 @@ gedit_preferences_dialog_class_init (GeditPreferencesDialogClass *klass)
        gtk_widget_class_bind_template_child (widget_class, GeditPreferencesDialog, 
display_line_numbers_checkbutton);
        gtk_widget_class_bind_template_child (widget_class, GeditPreferencesDialog, 
display_statusbar_checkbutton);
        gtk_widget_class_bind_template_child (widget_class, GeditPreferencesDialog, display_grid_checkbutton);
-       gtk_widget_class_bind_template_child (widget_class, GeditPreferencesDialog, 
display_overview_map_checkbutton);
        gtk_widget_class_bind_template_child (widget_class, GeditPreferencesDialog, right_margin_checkbutton);
        gtk_widget_class_bind_template_child (widget_class, GeditPreferencesDialog, 
right_margin_position_grid);
        gtk_widget_class_bind_template_child (widget_class, GeditPreferencesDialog, 
right_margin_position_spinbutton);
@@ -401,11 +399,6 @@ setup_view_page (GeditPreferencesDialog *dlg)
                         dlg->display_statusbar_checkbutton,
                         "active",
                         G_SETTINGS_BIND_GET | G_SETTINGS_BIND_SET);
-       g_settings_bind (dlg->editor,
-                        GEDIT_SETTINGS_DISPLAY_OVERVIEW_MAP,
-                        dlg->display_overview_map_checkbutton,
-                        "active",
-                        G_SETTINGS_BIND_GET | G_SETTINGS_BIND_SET);
        g_settings_bind (dlg->editor,
                         GEDIT_SETTINGS_DISPLAY_RIGHT_MARGIN,
                         dlg->right_margin_checkbutton,
diff --git a/gedit/resources/ui/gedit-preferences-dialog.ui b/gedit/resources/ui/gedit-preferences-dialog.ui
index 1ce0755da..a4b1566f7 100644
--- a/gedit/resources/ui/gedit-preferences-dialog.ui
+++ b/gedit/resources/ui/gedit-preferences-dialog.ui
@@ -105,21 +105,6 @@
                     <property name="width">2</property>
                   </packing>
                 </child>
-                <child>
-                  <object class="GtkCheckButton" id="display_overview_map_checkbutton">
-                    <property name="label" translatable="yes">Display _overview map</property>
-                    <property name="visible">True</property>
-                    <property name="can_focus">True</property>
-                    <property name="receives_default">False</property>
-                    <property name="use_underline">True</property>
-                    <property name="draw_indicator">True</property>
-                  </object>
-                  <packing>
-                    <property name="left_attach">0</property>
-                    <property name="top_attach">3</property>
-                    <property name="width">2</property>
-                  </packing>
-                </child>
                 <child>
                   <object class="GtkCheckButton" id="display_grid_checkbutton">
                     <property name="label" translatable="yes">Display _grid pattern</property>
@@ -131,7 +116,7 @@
                   </object>
                   <packing>
                     <property name="left_attach">0</property>
-                    <property name="top_attach">4</property>
+                    <property name="top_attach">3</property>
                     <property name="width">2</property>
                   </packing>
                 </child>