[gnome-builder] plugins/editorui: add combo for map-policy

[Christian Hergert <chergert src gnome org>]

commit 6d69ecd555fa01db9c2e39229cafccd3b1129b79
Author: Christian Hergert <chergert redhat com>
Date:   Thu Jul 28 15:54:29 2022 -0700

    plugins/editorui: add combo for map-policy
    
    We still want better UI for this as the auto-generated words in the UI
    are not what we want long term.
    
    However, I'm punting on that until we can get to something that is more
    GMenu-like for our description because <choice/> does not allow for
    translation in GSettings schemas.

 src/plugins/editorui/gbp-editorui-preferences-addin.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/src/plugins/editorui/gbp-editorui-preferences-addin.c 
b/src/plugins/editorui/gbp-editorui-preferences-addin.c
index f662451b9..57305cd91 100644
--- a/src/plugins/editorui/gbp-editorui-preferences-addin.c
+++ b/src/plugins/editorui/gbp-editorui-preferences-addin.c
@@ -66,10 +66,10 @@ static const IdePreferenceItemEntry items[] = {
     N_("Display a grid pattern underneath source code"),
     "org.gnome.builder.editor", NULL, "show-grid-lines" },
 
-  { "appearance", "effects", "show-map", 10, ide_preferences_window_toggle,
+  { "appearance", "effects", "map-policy", 10, ide_preferences_window_combo,
     N_("Show Overview Map"),
     N_("Use an overview map instead of a scrollbar"),
-    "org.gnome.builder.editor", NULL, "show-map" },
+    "org.gnome.builder.editor", NULL, "map-policy" },
 
   { "appearance", "lines", "show-line-numbers", 0, ide_preferences_window_toggle,
     N_("Show Line Numbers"),