[gnome-builder/wip/chergert/pipeline: 32/43] omnibar: widen IdeOmniBar

[Christian Hergert <chergert src gnome org>]

commit 25eea423720ea912a1a949f9aa48275c83a9257e
Author: Christian Hergert <chergert redhat com>
Date:   Fri Feb 3 13:51:52 2017 -0800

    omnibar: widen IdeOmniBar
    
    We need this a bit wider so it doesn't jump around so much.

 libide/workbench/ide-omni-bar.ui |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/libide/workbench/ide-omni-bar.ui b/libide/workbench/ide-omni-bar.ui
index 8f36e33..351087e 100644
--- a/libide/workbench/ide-omni-bar.ui
+++ b/libide/workbench/ide-omni-bar.ui
@@ -144,7 +144,7 @@
   <object class="GtkPopover" id="popover">
     <property name="relative-to">event_box</property>
     <property name="position">bottom</property>
-    <property name="width-request">475</property>
+    <property name="width-request">525</property>
     <style>
       <class name="messagepopover"/>
     </style>