[gnome-builder/wip/chergert/editorsearch] editor: tweak sizing of editor search

[Christian Hergert <chergert src gnome org>]

commit 52fea9c07825cccfeb876862f452ab24939bf102
Author: Christian Hergert <chergert redhat com>
Date:   Tue Oct 10 15:41:45 2017 -0700

    editor: tweak sizing of editor search
    
    This is on the larger size, but we don't have much better of
    an option yet.

 src/libide/editor/ide-editor-view.ui |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/libide/editor/ide-editor-view.ui b/src/libide/editor/ide-editor-view.ui
index f0cdb29..bc375d0 100644
--- a/src/libide/editor/ide-editor-view.ui
+++ b/src/libide/editor/ide-editor-view.ui
@@ -6,7 +6,7 @@
         <property name="visible">true</property>
         <child type="overlay">
           <object class="GtkRevealer" id="search_revealer">
-            <property name="width-request">425</property>
+            <property name="width-request">525</property>
             <property name="halign">end</property>
             <property name="valign">start</property>
             <property name="margin-right">12</property>