1 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
2 <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
6 <widget class="GtkWindow" id="manholeWindow">
7 <property name="visible">True</property>
8 <property name="title" translatable="yes">Manhole</property>
9 <property name="type">GTK_WINDOW_TOPLEVEL</property>
10 <property name="window_position">GTK_WIN_POS_NONE</property>
11 <property name="modal">False</property>
12 <property name="default_width">620</property>
13 <property name="default_height">320</property>
14 <property name="resizable">True</property>
15 <property name="destroy_with_parent">False</property>
16 <property name="decorated">True</property>
17 <property name="skip_taskbar_hint">False</property>
18 <property name="skip_pager_hint">False</property>
19 <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
20 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
21 <signal name="delete_event" handler="_on_manholeWindow_delete_event" last_modification_time="Mon, 27 Jan 2003 05:14:26 GMT"/>
24 <widget class="GtkVBox" id="vbox1">
25 <property name="visible">True</property>
26 <property name="homogeneous">False</property>
27 <property name="spacing">0</property>
30 <widget class="GtkMenuBar" id="menubar1">
31 <property name="visible">True</property>
34 <widget class="GtkMenuItem" id="menuitem4">
35 <property name="visible">True</property>
36 <property name="label" translatable="yes">_File</property>
37 <property name="use_underline">True</property>
40 <widget class="GtkMenu" id="menuitem4_menu">
43 <widget class="GtkImageMenuItem" id="openMenuItem">
44 <property name="visible">True</property>
45 <property name="label">gtk-open</property>
46 <property name="use_stock">True</property>
47 <signal name="activate" handler="_on_openMenuItem_activate" last_modification_time="Sun, 02 Feb 2003 18:44:51 GMT"/>
52 <widget class="GtkImageMenuItem" id="reload_self">
53 <property name="visible">True</property>
54 <property name="tooltip" translatable="yes">Reload the manhole client code. (Only useful for client development.)</property>
55 <property name="label" translatable="yes">_Reload self</property>
56 <property name="use_underline">True</property>
57 <signal name="activate" handler="on_reload_self_activate" last_modification_time="Mon, 24 Feb 2003 00:15:10 GMT"/>
59 <child internal-child="image">
60 <widget class="GtkImage" id="image1">
61 <property name="visible">True</property>
62 <property name="stock">gtk-revert-to-saved</property>
63 <property name="icon_size">1</property>
64 <property name="xalign">0.5</property>
65 <property name="yalign">0.5</property>
66 <property name="xpad">0</property>
67 <property name="ypad">0</property>
74 <widget class="GtkMenuItem" id="separatormenuitem1">
75 <property name="visible">True</property>
80 <widget class="GtkImageMenuItem" id="quitMenuItem">
81 <property name="visible">True</property>
82 <property name="label">gtk-quit</property>
83 <property name="use_stock">True</property>
84 <signal name="activate" handler="_on_quitMenuItem_activate" last_modification_time="Sun, 02 Feb 2003 18:48:12 GMT"/>
93 <widget class="GtkMenuItem" id="menuitem5">
94 <property name="visible">True</property>
95 <property name="label" translatable="yes">_Edit</property>
96 <property name="use_underline">True</property>
99 <widget class="GtkMenu" id="menuitem5_menu">
102 <widget class="GtkImageMenuItem" id="cut1">
103 <property name="visible">True</property>
104 <property name="label">gtk-cut</property>
105 <property name="use_stock">True</property>
106 <signal name="activate" handler="on_cut1_activate" last_modification_time="Mon, 27 Jan 2003 04:50:50 GMT"/>
111 <widget class="GtkImageMenuItem" id="copy1">
112 <property name="visible">True</property>
113 <property name="label">gtk-copy</property>
114 <property name="use_stock">True</property>
115 <signal name="activate" handler="on_copy1_activate" last_modification_time="Mon, 27 Jan 2003 04:50:50 GMT"/>
120 <widget class="GtkImageMenuItem" id="paste1">
121 <property name="visible">True</property>
122 <property name="label">gtk-paste</property>
123 <property name="use_stock">True</property>
124 <signal name="activate" handler="on_paste1_activate" last_modification_time="Mon, 27 Jan 2003 04:50:50 GMT"/>
129 <widget class="GtkImageMenuItem" id="delete1">
130 <property name="visible">True</property>
131 <property name="label">gtk-delete</property>
132 <property name="use_stock">True</property>
133 <signal name="activate" handler="on_delete1_activate" last_modification_time="Mon, 27 Jan 2003 04:50:50 GMT"/>
142 <widget class="GtkMenuItem" id="menuitem7">
143 <property name="visible">True</property>
144 <property name="label" translatable="yes">_Help</property>
145 <property name="use_underline">True</property>
148 <widget class="GtkMenu" id="menuitem7_menu">
151 <widget class="GtkMenuItem" id="aboutMenuItem">
152 <property name="visible">True</property>
153 <property name="label" translatable="yes">_About</property>
154 <property name="use_underline">True</property>
155 <signal name="activate" handler="_on_aboutMenuItem_activate" last_modification_time="Thu, 06 Feb 2003 19:49:53 GMT"/>
164 <property name="padding">0</property>
165 <property name="expand">False</property>
166 <property name="fill">False</property>
171 <widget class="GtkVPaned" id="vpaned1">
172 <property name="visible">True</property>
173 <property name="can_focus">True</property>
176 <widget class="GtkScrolledWindow" id="scrolledwindow1">
177 <property name="visible">True</property>
178 <property name="can_focus">True</property>
179 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
180 <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
181 <property name="shadow_type">GTK_SHADOW_NONE</property>
182 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
185 <widget class="GtkTextView" id="output">
186 <property name="visible">True</property>
187 <property name="can_focus">True</property>
188 <property name="editable">False</property>
189 <property name="overwrite">False</property>
190 <property name="accepts_tab">True</property>
191 <property name="justification">GTK_JUSTIFY_LEFT</property>
192 <property name="wrap_mode">GTK_WRAP_WORD</property>
193 <property name="cursor_visible">True</property>
194 <property name="pixels_above_lines">0</property>
195 <property name="pixels_below_lines">0</property>
196 <property name="pixels_inside_wrap">0</property>
197 <property name="left_margin">0</property>
198 <property name="right_margin">0</property>
199 <property name="indent">0</property>
200 <property name="text" translatable="yes"></property>
205 <property name="shrink">True</property>
206 <property name="resize">True</property>
211 <widget class="GtkScrolledWindow" id="scrolledwindow2">
212 <property name="visible">True</property>
213 <property name="can_focus">True</property>
214 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
215 <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
216 <property name="shadow_type">GTK_SHADOW_NONE</property>
217 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
220 <widget class="GtkTextView" id="input">
221 <property name="visible">True</property>
222 <property name="can_focus">True</property>
223 <property name="has_focus">True</property>
224 <property name="editable">True</property>
225 <property name="overwrite">False</property>
226 <property name="accepts_tab">True</property>
227 <property name="justification">GTK_JUSTIFY_LEFT</property>
228 <property name="wrap_mode">GTK_WRAP_NONE</property>
229 <property name="cursor_visible">True</property>
230 <property name="pixels_above_lines">0</property>
231 <property name="pixels_below_lines">0</property>
232 <property name="pixels_inside_wrap">0</property>
233 <property name="left_margin">0</property>
234 <property name="right_margin">0</property>
235 <property name="indent">0</property>
236 <property name="text" translatable="yes"></property>
241 <property name="shrink">True</property>
242 <property name="resize">False</property>
247 <property name="padding">0</property>
248 <property name="expand">True</property>
249 <property name="fill">True</property>
254 <widget class="GtkStatusbar" id="statusbar1">
255 <property name="visible">True</property>
256 <property name="has_resize_grip">True</property>
259 <property name="padding">0</property>
260 <property name="expand">False</property>
261 <property name="fill">False</property>