OLD | NEW |
| (Empty) |
1 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*--> | |
2 <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd"> | |
3 | |
4 <glade-interface> | |
5 | |
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_modi
fication_time="Mon, 27 Jan 2003 05:14:26 GMT"/> | |
22 | |
23 <child> | |
24 <widget class="GtkVBox" id="vbox1"> | |
25 <property name="visible">True</property> | |
26 <property name="homogeneous">False</property> | |
27 <property name="spacing">0</property> | |
28 | |
29 <child> | |
30 <widget class="GtkMenuBar" id="menubar1"> | |
31 <property name="visible">True</property> | |
32 | |
33 <child> | |
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> | |
38 | |
39 <child> | |
40 <widget class="GtkMenu" id="menuitem4_menu"> | |
41 | |
42 <child> | |
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"/> | |
48 </widget> | |
49 </child> | |
50 | |
51 <child> | |
52 <widget class="GtkImageMenuItem" id="reload_self"> | |
53 <property name="visible">True</property> | |
54 <property name="tooltip" translatable="yes">Reload the man
hole client code. (Only useful for client development.)</property> | |
55 <property name="label" translatable="yes">_Reload self</pr
operty> | |
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"/> | |
58 | |
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> | |
68 </widget> | |
69 </child> | |
70 </widget> | |
71 </child> | |
72 | |
73 <child> | |
74 <widget class="GtkMenuItem" id="separatormenuitem1"> | |
75 <property name="visible">True</property> | |
76 </widget> | |
77 </child> | |
78 | |
79 <child> | |
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"/> | |
85 </widget> | |
86 </child> | |
87 </widget> | |
88 </child> | |
89 </widget> | |
90 </child> | |
91 | |
92 <child> | |
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> | |
97 | |
98 <child> | |
99 <widget class="GtkMenu" id="menuitem5_menu"> | |
100 | |
101 <child> | |
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_mo
dification_time="Mon, 27 Jan 2003 04:50:50 GMT"/> | |
107 </widget> | |
108 </child> | |
109 | |
110 <child> | |
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_m
odification_time="Mon, 27 Jan 2003 04:50:50 GMT"/> | |
116 </widget> | |
117 </child> | |
118 | |
119 <child> | |
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"/> | |
125 </widget> | |
126 </child> | |
127 | |
128 <child> | |
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"/> | |
134 </widget> | |
135 </child> | |
136 </widget> | |
137 </child> | |
138 </widget> | |
139 </child> | |
140 | |
141 <child> | |
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> | |
146 | |
147 <child> | |
148 <widget class="GtkMenu" id="menuitem7_menu"> | |
149 | |
150 <child> | |
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_activat
e" last_modification_time="Thu, 06 Feb 2003 19:49:53 GMT"/> | |
156 </widget> | |
157 </child> | |
158 </widget> | |
159 </child> | |
160 </widget> | |
161 </child> | |
162 </widget> | |
163 <packing> | |
164 <property name="padding">0</property> | |
165 <property name="expand">False</property> | |
166 <property name="fill">False</property> | |
167 </packing> | |
168 </child> | |
169 | |
170 <child> | |
171 <widget class="GtkVPaned" id="vpaned1"> | |
172 <property name="visible">True</property> | |
173 <property name="can_focus">True</property> | |
174 | |
175 <child> | |
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> | |
183 | |
184 <child> | |
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> | |
201 </widget> | |
202 </child> | |
203 </widget> | |
204 <packing> | |
205 <property name="shrink">True</property> | |
206 <property name="resize">True</property> | |
207 </packing> | |
208 </child> | |
209 | |
210 <child> | |
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> | |
218 | |
219 <child> | |
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> | |
237 </widget> | |
238 </child> | |
239 </widget> | |
240 <packing> | |
241 <property name="shrink">True</property> | |
242 <property name="resize">False</property> | |
243 </packing> | |
244 </child> | |
245 </widget> | |
246 <packing> | |
247 <property name="padding">0</property> | |
248 <property name="expand">True</property> | |
249 <property name="fill">True</property> | |
250 </packing> | |
251 </child> | |
252 | |
253 <child> | |
254 <widget class="GtkStatusbar" id="statusbar1"> | |
255 <property name="visible">True</property> | |
256 <property name="has_resize_grip">True</property> | |
257 </widget> | |
258 <packing> | |
259 <property name="padding">0</property> | |
260 <property name="expand">False</property> | |
261 <property name="fill">False</property> | |
262 </packing> | |
263 </child> | |
264 </widget> | |
265 </child> | |
266 </widget> | |
267 | |
268 </glade-interface> | |
OLD | NEW |