1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
2 <!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
3 <!--Generated with glade3 3.2.0 on Sat Aug 11 17:19:54 2007 by john@marilyn-->
5 <widget class="GtkWindow" id="output-viewer-window">
6 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
7 <property name="default_width">600</property>
8 <property name="default_height">400</property>
10 <widget class="GtkVBox" id="vbox1">
11 <property name="visible">True</property>
12 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
14 <widget class="GtkMenuBar" id="menubar1">
15 <property name="visible">True</property>
16 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
18 <widget class="GtkMenuItem" id="menuitem1">
19 <property name="visible">False</property>
20 <property name="sensitive">False</property>
21 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
22 <property name="label" translatable="yes">_File</property>
23 <property name="use_underline">True</property>
25 <widget class="GtkMenu" id="menu1">
26 <property name="visible">True</property>
27 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
29 <widget class="GtkImageMenuItem" id="file_save">
30 <property name="visible">True</property>
31 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
32 <property name="label" translatable="yes">gtk-save</property>
33 <property name="use_underline">True</property>
34 <property name="use_stock">True</property>
38 <widget class="GtkImageMenuItem" id="file_save-as">
39 <property name="visible">True</property>
40 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
41 <property name="label" translatable="yes">gtk-save-as</property>
42 <property name="use_underline">True</property>
43 <property name="use_stock">True</property>
51 <widget class="GtkMenuItem" id="menuitem2">
52 <property name="visible">False</property>
53 <property name="sensitive">False</property>
54 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
55 <property name="label" translatable="yes">_Edit</property>
56 <property name="use_underline">True</property>
58 <widget class="GtkMenu" id="menu2">
59 <property name="visible">True</property>
60 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
62 <widget class="GtkImageMenuItem" id="imagemenuitem7">
63 <property name="visible">True</property>
64 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
65 <property name="label" translatable="yes">gtk-copy</property>
66 <property name="use_underline">True</property>
67 <property name="use_stock">True</property>
75 <widget class="GtkMenuItem" id="menuitem3">
76 <property name="visible">True</property>
77 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
78 <property name="label" translatable="yes">_Windows</property>
79 <property name="use_underline">True</property>
81 <widget class="GtkMenu" id="menu4">
82 <property name="visible">True</property>
83 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
85 <widget class="GtkMenuItem" id="windows_minimise-all">
86 <property name="visible">True</property>
87 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
88 <property name="label" translatable="yes">_Minimize All Windows</property>
89 <property name="use_underline">True</property>
97 <widget class="GtkMenuItem" id="menuitem9">
98 <property name="visible">True</property>
99 <property name="label" translatable="yes">_Help</property>
100 <property name="use_underline">True</property>
102 <widget class="GtkMenu" id="menuitem9_menu">
104 <widget class="GtkMenuItem" id="help_reference">
105 <property name="visible">True</property>
106 <property name="label" translatable="yes">_Reference Manual</property>
107 <property name="use_underline">True</property>
111 <widget class="GtkMenuItem" id="help_about">
112 <property name="visible">True</property>
113 <property name="label" translatable="yes">_About</property>
114 <property name="use_underline">True</property>
123 <property name="expand">False</property>
127 <widget class="GtkScrolledWindow" id="scrolledwindow1">
128 <property name="visible">True</property>
129 <property name="can_focus">True</property>
130 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
131 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
132 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
134 <widget class="GtkTextView" id="output-viewer-textview">
135 <property name="visible">True</property>
136 <property name="can_focus">True</property>
137 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
138 <property name="editable">False</property>
139 <property name="left_margin">5</property>
144 <property name="position">1</property>