</object>
<!-- interface-requires gtk+ 2.16 -->
<!-- interface-naming-policy toplevel-contextual -->
- <object class="GtkWindow" id="output-viewer-window">
- <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
- <property name="default_width">600</property>
- <property name="default_height">400</property>
- <child>
- <object class="GtkVBox" id="vbox1">
+ <object class="GtkBox" id="box1">
<property name="visible">True</property>
+ <property name="orientation">GTK_ORIENTATION_VERTICAL</property>
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
<child>
<object class="GtkMenuBar" constructor="uimanager1" id="menubar">
</packing>
</child>
<child>
- <object class="GtkHPaned" id="hpaned1">
+ <object class="GtkPaned" id="paned1">
<property name="visible">True</property>
+ <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
<property name="can_focus">True</property>
<property name="position">112</property>
<property name="position_set">True</property>
<child>
<object class="GtkLayout" id="output">
<property name="visible">True</property>
+ <property name="border-width">5</property>
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
</object>
</child>
</object>
<packing>
<property name="position">1</property>
+ <property name="expand">True</property>
</packing>
</child>
</object>
- </child>
- </object>
</interface>