[gnome-builder] editor: ensure search bar is higher priority than minimap

[Christian Hergert <chergert src gnome org>]

commit 2482133b9bc1727218d7fdb7ff230534669f22db
Author: Christian Hergert <chergert redhat com>
Date:   Wed Oct 18 14:58:59 2017 -0700

    editor: ensure search bar is higher priority than minimap
    
    https://bugzilla.gnome.org/show_bug.cgi?id=789145

 src/libide/editor/ide-editor-view.ui |    6 ++++++
 1 files changed, 6 insertions(+), 0 deletions(-)
---
diff --git a/src/libide/editor/ide-editor-view.ui b/src/libide/editor/ide-editor-view.ui
index 4506b71..43b5fe5 100644
--- a/src/libide/editor/ide-editor-view.ui
+++ b/src/libide/editor/ide-editor-view.ui
@@ -20,6 +20,9 @@
               </object>
             </child>
           </object>
+          <packing>
+            <property name="index">1</property>
+          </packing>
         </child>
         <child type="overlay">
           <object class="GtkRevealer" id="modified_revealer">
@@ -85,6 +88,9 @@
             <property name="transition-type">slide-left</property>
             <property name="vexpand">true</property>
           </object>
+          <packing>
+            <property name="index">0</property>
+          </packing>
         </child>
         <child>
           <object class="GtkBox" id="scroller_box">