[gnome-text-editor] preferences: add toggle for overview map

[Christian Hergert <chergert src gnome org>]

commit 6798bec50c5356bd108836bdd8921225ac1aa24e
Author: Christian Hergert <chergert redhat com>
Date:   Mon Apr 19 15:50:30 2021 -0700

    preferences: add toggle for overview map
    
    Fixes #87

 src/editor-preferences-window.ui | 6 ++++++
 1 file changed, 6 insertions(+)
---
diff --git a/src/editor-preferences-window.ui b/src/editor-preferences-window.ui
index 0fac0a7..48cd588 100644
--- a/src/editor-preferences-window.ui
+++ b/src/editor-preferences-window.ui
@@ -45,6 +45,12 @@
                 <property name="schema-key">show-grid</property>
               </object>
             </child>
+            <child>
+              <object class="EditorPreferencesSwitch" id="map">
+                <property name="title" translatable="yes">Display Overview Map</property>
+                <property name="schema-key">show-map</property>
+              </object>
+            </child>
           </object>
         </child>
       </object>