[gnome-builder/wip/minimap2: 13/13] prefs: allow toggling minimap from preferences

[Christian Hergert <chergert src gnome org>]

commit 3ad1cd8f2c94bd27895f63c42a7a88f3be09a2df
Author: Christian Hergert <christian hergert me>
Date:   Tue Apr 21 17:57:51 2015 -0700

    prefs: allow toggling minimap from preferences

 data/ui/gb-preferences-page-editor.ui |   10 ++++++++++
 1 files changed, 10 insertions(+), 0 deletions(-)
---
diff --git a/data/ui/gb-preferences-page-editor.ui b/data/ui/gb-preferences-page-editor.ui
index f1d2445..28b10e6 100644
--- a/data/ui/gb-preferences-page-editor.ui
+++ b/data/ui/gb-preferences-page-editor.ui
@@ -102,6 +102,16 @@
               </object>
             </child>
             <child>
+              <object class="GbPreferencesSwitch" id="show_map_switch">
+                <property name="title" translatable="yes">Show Overview Map</property>
+                <property name="description" translatable="yes">Display an overview map next to the source 
code editor.</property>
+                <property name="settings">editor_settings</property>
+                <property name="settings-schema-key">show-map</property>
+                <property name="size-group">control_group</property>
+                <property name="visible">true</property>
+              </object>
+            </child>
+            <child>
               <object class="GtkBox" id="scroll_off_container">
                 <property name="orientation">horizontal</property>
                 <property name="margin">6</property>