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

[Christian Hergert <chergert src gnome org>]

commit c7304b6879da0ec23c4b4156e8ddb48e609449d1
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

 libide/editor/ide-editor-view.ui |    6 ++++++
 1 files changed, 6 insertions(+), 0 deletions(-)
---
diff --git a/libide/editor/ide-editor-view.ui b/libide/editor/ide-editor-view.ui
index f0cdb29..a60798e 100644
--- a/libide/editor/ide-editor-view.ui
+++ b/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">