output: Give the overview pane in the GUI output a reasonable initial width.

diff --git a/src/ui/gui/output-viewer.glade b/src/ui/gui/output-viewer.glade
index 7c23e77df80f6bd7ead9c9d4bc3b70337151b1f7..50d92d46671a07444c4555891f5af8e0db78889a 100644 (file)
--- a/src/ui/gui/output-viewer.glade
+++ b/src/ui/gui/output-viewer.glade
@@ -143,7 +143,7 @@
                 </child>
               </widget>
               <packing>
-                <property name="resize">True</property>
+                <property name="resize">False</property>
                 <property name="shrink">True</property>
               </packing>
             </child>
@@ -162,7 +162,7 @@
                 </child>
               </widget>
               <packing>
-                <property name="resize">False</property>
+                <property name="resize">True</property>
                 <property name="shrink">True</property>
               </packing>
             </child>