/[ascend]/trunk/pygtk/interface/ascend.glade
ViewVC logotype

Contents of /trunk/pygtk/interface/ascend.glade

Parent Directory Parent Directory | Revision Log Revision Log


Revision 242 - (show annotations) (download)
Mon Jan 30 15:02:26 2006 UTC (18 years, 4 months ago) by johnpye
File size: 51371 byte(s)
Minor usability improvements - keybindings
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="browserwin">
7 <property name="visible">True</property>
8 <property name="title" translatable="yes">ASCEND PyGTK</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">600</property>
13 <property name="default_height">768</property>
14 <property name="resizable">True</property>
15 <property name="destroy_with_parent">False</property>
16 <property name="icon_name">stock_fontwork</property>
17 <property name="decorated">True</property>
18 <property name="skip_taskbar_hint">False</property>
19 <property name="skip_pager_hint">False</property>
20 <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
21 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
22 <property name="focus_on_map">True</property>
23 <signal name="check_resize" handler="on_browserwin_check_resize" last_modification_time="Thu, 17 Nov 2005 15:56:29 GMT"/>
24 <signal name="focus" handler="on_browserwin_focus" last_modification_time="Sun, 04 Dec 2005 05:39:42 GMT"/>
25
26 <child>
27 <widget class="GtkVBox" id="vbox5">
28 <property name="visible">True</property>
29 <property name="homogeneous">False</property>
30 <property name="spacing">0</property>
31
32 <child>
33 <widget class="GtkMenuBar" id="browsermenu">
34 <property name="visible">True</property>
35
36 <child>
37 <widget class="GtkMenuItem" id="menuitem8">
38 <property name="visible">True</property>
39 <property name="label" translatable="yes">_File</property>
40 <property name="use_underline">True</property>
41
42 <child>
43 <widget class="GtkMenu" id="menuitem8_menu">
44
45 <child>
46 <widget class="GtkImageMenuItem" id="open2">
47 <property name="visible">True</property>
48 <property name="label">gtk-open</property>
49 <property name="use_stock">True</property>
50 <signal name="activate" handler="open_click" last_modification_time="Tue, 24 Jan 2006 02:52:29 GMT"/>
51 </widget>
52 </child>
53
54 <child>
55 <widget class="GtkImageMenuItem" id="reload">
56 <property name="visible">True</property>
57 <property name="label" translatable="yes">_Reload</property>
58 <property name="use_underline">True</property>
59 <signal name="activate" handler="reload_click" last_modification_time="Tue, 24 Jan 2006 02:52:29 GMT"/>
60 <accelerator key="F5" modifiers="GDK_CONTROL_MASK" signal="activate"/>
61
62 <child internal-child="image">
63 <widget class="GtkImage" id="image97">
64 <property name="visible">True</property>
65 <property name="stock">gtk-refresh</property>
66 <property name="icon_size">1</property>
67 <property name="xalign">0.5</property>
68 <property name="yalign">0.5</property>
69 <property name="xpad">0</property>
70 <property name="ypad">0</property>
71 </widget>
72 </child>
73 </widget>
74 </child>
75
76 <child>
77 <widget class="GtkSeparatorMenuItem" id="separatormenuitem2">
78 <property name="visible">True</property>
79 </widget>
80 </child>
81
82 <child>
83 <widget class="GtkImageMenuItem" id="quit">
84 <property name="visible">True</property>
85 <property name="label">gtk-quit</property>
86 <property name="use_stock">True</property>
87 <signal name="activate" handler="on_file_quit_click" last_modification_time="Sun, 29 Jan 2006 06:48:50 GMT"/>
88 </widget>
89 </child>
90 </widget>
91 </child>
92 </widget>
93 </child>
94
95 <child>
96 <widget class="GtkMenuItem" id="tools">
97 <property name="visible">True</property>
98 <property name="label" translatable="yes">_Tools</property>
99 <property name="use_underline">True</property>
100
101 <child>
102 <widget class="GtkMenu" id="tools_menu">
103
104 <child>
105 <widget class="GtkImageMenuItem" id="solve1">
106 <property name="visible">True</property>
107 <property name="label" translatable="yes">Sol_ve</property>
108 <property name="use_underline">True</property>
109 <signal name="activate" handler="solve_click" last_modification_time="Tue, 24 Jan 2006 02:52:29 GMT"/>
110 <accelerator key="F9" modifiers="0" signal="activate"/>
111
112 <child internal-child="image">
113 <widget class="GtkImage" id="image98">
114 <property name="visible">True</property>
115 <property name="stock">gtk-media-forward</property>
116 <property name="icon_size">1</property>
117 <property name="xalign">0.5</property>
118 <property name="yalign">0.5</property>
119 <property name="xpad">0</property>
120 <property name="ypad">0</property>
121 </widget>
122 </child>
123 </widget>
124 </child>
125
126 <child>
127 <widget class="GtkImageMenuItem" id="check1">
128 <property name="visible">True</property>
129 <property name="label" translatable="yes">_Check</property>
130 <property name="use_underline">True</property>
131 <signal name="activate" handler="check_click" last_modification_time="Tue, 24 Jan 2006 02:52:29 GMT"/>
132 <accelerator key="F7" modifiers="0" signal="activate"/>
133
134 <child internal-child="image">
135 <widget class="GtkImage" id="image99">
136 <property name="visible">True</property>
137 <property name="stock">gtk-spell-check</property>
138 <property name="icon_size">1</property>
139 <property name="xalign">0.5</property>
140 <property name="yalign">0.5</property>
141 <property name="xpad">0</property>
142 <property name="ypad">0</property>
143 </widget>
144 </child>
145 </widget>
146 </child>
147
148 <child>
149 <widget class="GtkImageMenuItem" id="sparsity">
150 <property name="visible">True</property>
151 <property name="tooltip" translatable="yes">View the incidence matrix from the solver</property>
152 <property name="label" translatable="yes">_Incidence matrix...</property>
153 <property name="use_underline">True</property>
154 <signal name="activate" handler="on_tools_sparsity_click" last_modification_time="Sun, 29 Jan 2006 07:29:07 GMT"/>
155 <accelerator key="I" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/>
156
157 <child internal-child="image">
158 <widget class="GtkImage" id="image100">
159 <property name="visible">True</property>
160 <property name="pixbuf">incidence.png</property>
161 <property name="xalign">0.5</property>
162 <property name="yalign">0.5</property>
163 <property name="xpad">0</property>
164 <property name="ypad">0</property>
165 </widget>
166 </child>
167 </widget>
168 </child>
169
170 <child>
171 <widget class="GtkSeparatorMenuItem" id="separator3">
172 <property name="visible">True</property>
173 </widget>
174 </child>
175
176 <child>
177 <widget class="GtkCheckMenuItem" id="automenu">
178 <property name="visible">True</property>
179 <property name="tooltip" translatable="yes">Solve automatically after values change</property>
180 <property name="label" translatable="yes">_Auto</property>
181 <property name="use_underline">True</property>
182 <property name="active">True</property>
183 <signal name="activate" handler="on_tools_auto_toggle" last_modification_time="Sun, 29 Jan 2006 06:55:49 GMT"/>
184 <accelerator key="A" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/>
185 </widget>
186 </child>
187
188 <child>
189 <widget class="GtkImageMenuItem" id="preferences">
190 <property name="visible">True</property>
191 <property name="label" translatable="yes">Solver _Parameters...</property>
192 <property name="use_underline">True</property>
193 <signal name="activate" handler="preferences_click" last_modification_time="Tue, 24 Jan 2006 02:52:29 GMT"/>
194 <accelerator key="F11" modifiers="0" signal="activate"/>
195
196 <child internal-child="image">
197 <widget class="GtkImage" id="image101">
198 <property name="visible">True</property>
199 <property name="stock">gtk-preferences</property>
200 <property name="icon_size">1</property>
201 <property name="xalign">0.5</property>
202 <property name="yalign">0.5</property>
203 <property name="xpad">0</property>
204 <property name="ypad">0</property>
205 </widget>
206 </child>
207 </widget>
208 </child>
209 </widget>
210 </child>
211 </widget>
212 </child>
213
214 <child>
215 <widget class="GtkMenuItem" id="help">
216 <property name="visible">True</property>
217 <property name="label" translatable="yes">_Help</property>
218 <property name="use_underline">True</property>
219
220 <child>
221 <widget class="GtkMenu" id="help_menu">
222
223 <child>
224 <widget class="GtkImageMenuItem" id="contents">
225 <property name="visible">True</property>
226 <property name="label" translatable="yes">_Contents</property>
227 <property name="use_underline">True</property>
228 <signal name="activate" handler="on_help_contents_click" last_modification_time="Sun, 29 Jan 2006 06:36:19 GMT"/>
229
230 <child internal-child="image">
231 <widget class="GtkImage" id="image102">
232 <property name="visible">True</property>
233 <property name="stock">gtk-help</property>
234 <property name="icon_size">1</property>
235 <property name="xalign">0.5</property>
236 <property name="yalign">0.5</property>
237 <property name="xpad">0</property>
238 <property name="ypad">0</property>
239 </widget>
240 </child>
241 </widget>
242 </child>
243
244 <child>
245 <widget class="GtkImageMenuItem" id="about">
246 <property name="visible">True</property>
247 <property name="label">gtk-about</property>
248 <property name="use_stock">True</property>
249 <signal name="activate" handler="on_help_about_click" last_modification_time="Sun, 29 Jan 2006 03:56:52 GMT"/>
250 </widget>
251 </child>
252 </widget>
253 </child>
254 </widget>
255 </child>
256 </widget>
257 <packing>
258 <property name="padding">0</property>
259 <property name="expand">False</property>
260 <property name="fill">False</property>
261 </packing>
262 </child>
263
264 <child>
265 <widget class="GtkToolbar" id="toolbar3">
266 <property name="visible">True</property>
267 <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
268 <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
269 <property name="tooltips">True</property>
270 <property name="show_arrow">True</property>
271
272 <child>
273 <widget class="GtkToolButton" id="openbutton">
274 <property name="visible">True</property>
275 <property name="stock_id">gtk-open</property>
276 <property name="visible_horizontal">True</property>
277 <property name="visible_vertical">True</property>
278 <property name="is_important">False</property>
279 <signal name="clicked" handler="on_openbutton_clicked" last_modification_time="Sun, 04 Dec 2005 05:48:03 GMT"/>
280 </widget>
281 <packing>
282 <property name="expand">False</property>
283 <property name="homogeneous">True</property>
284 </packing>
285 </child>
286
287 <child>
288 <widget class="GtkToolButton" id="reloadbutton">
289 <property name="visible">True</property>
290 <property name="label" translatable="yes">Re_load</property>
291 <property name="use_underline">True</property>
292 <property name="stock_id">gtk-refresh</property>
293 <property name="visible_horizontal">True</property>
294 <property name="visible_vertical">True</property>
295 <property name="is_important">False</property>
296 <signal name="clicked" handler="on_toolbutton11_clicked" last_modification_time="Sun, 04 Dec 2005 05:38:03 GMT"/>
297 </widget>
298 <packing>
299 <property name="expand">False</property>
300 <property name="homogeneous">True</property>
301 </packing>
302 </child>
303
304 <child>
305 <widget class="GtkSeparatorToolItem" id="separatortoolitem4">
306 <property name="visible">True</property>
307 <property name="draw">True</property>
308 <property name="visible_horizontal">True</property>
309 <property name="visible_vertical">True</property>
310 </widget>
311 <packing>
312 <property name="expand">False</property>
313 <property name="homogeneous">False</property>
314 </packing>
315 </child>
316
317 <child>
318 <widget class="GtkToolButton" id="solvebutton">
319 <property name="visible">True</property>
320 <property name="label" translatable="yes">_Solve</property>
321 <property name="use_underline">True</property>
322 <property name="stock_id">gtk-media-play</property>
323 <property name="visible_horizontal">True</property>
324 <property name="visible_vertical">True</property>
325 <property name="is_important">False</property>
326 <signal name="clicked" handler="on_solvebutton_clicked" last_modification_time="Thu, 17 Nov 2005 08:17:30 GMT"/>
327 </widget>
328 <packing>
329 <property name="expand">False</property>
330 <property name="homogeneous">True</property>
331 </packing>
332 </child>
333
334 <child>
335 <widget class="GtkToolButton" id="checkbutton">
336 <property name="visible">True</property>
337 <property name="label" translatable="yes">_Check</property>
338 <property name="use_underline">True</property>
339 <property name="stock_id">gtk-spell-check</property>
340 <property name="visible_horizontal">True</property>
341 <property name="visible_vertical">True</property>
342 <property name="is_important">False</property>
343 <signal name="clicked" handler="on_checkbutton_clicked" last_modification_time="Thu, 17 Nov 2005 08:17:40 GMT"/>
344 </widget>
345 <packing>
346 <property name="expand">False</property>
347 <property name="homogeneous">True</property>
348 </packing>
349 </child>
350
351 <child>
352 <widget class="GtkSeparatorToolItem" id="separatortoolitem5">
353 <property name="visible">True</property>
354 <property name="draw">True</property>
355 <property name="visible_horizontal">True</property>
356 <property name="visible_vertical">True</property>
357 </widget>
358 <packing>
359 <property name="expand">False</property>
360 <property name="homogeneous">False</property>
361 </packing>
362 </child>
363
364 <child>
365 <widget class="GtkToggleToolButton" id="autotoggle">
366 <property name="visible">True</property>
367 <property name="label" translatable="yes">_Auto</property>
368 <property name="use_underline">True</property>
369 <property name="stock_id">gtk-execute</property>
370 <property name="visible_horizontal">True</property>
371 <property name="visible_vertical">True</property>
372 <property name="is_important">False</property>
373 <property name="active">True</property>
374 <signal name="toggled" handler="on_toggletoolbutton1_toggled" last_modification_time="Thu, 17 Nov 2005 09:12:04 GMT"/>
375 </widget>
376 <packing>
377 <property name="expand">False</property>
378 <property name="homogeneous">True</property>
379 </packing>
380 </child>
381
382 <child>
383 <widget class="GtkSeparatorToolItem" id="separatortoolitem3">
384 <property name="visible">True</property>
385 <property name="draw">True</property>
386 <property name="visible_horizontal">True</property>
387 <property name="visible_vertical">True</property>
388 </widget>
389 <packing>
390 <property name="expand">False</property>
391 <property name="homogeneous">False</property>
392 </packing>
393 </child>
394
395 <child>
396 <widget class="GtkToolItem" id="toolitem3">
397 <property name="visible">True</property>
398 <property name="visible_horizontal">True</property>
399 <property name="visible_vertical">True</property>
400 <property name="is_important">False</property>
401
402 <child>
403 <widget class="GtkFrame" id="frame1">
404 <property name="visible">True</property>
405 <property name="label_xalign">0</property>
406 <property name="label_yalign">0.5</property>
407 <property name="shadow_type">GTK_SHADOW_NONE</property>
408
409 <child>
410 <widget class="GtkAlignment" id="alignment1">
411 <property name="visible">True</property>
412 <property name="xalign">0.5</property>
413 <property name="yalign">0.5</property>
414 <property name="xscale">1</property>
415 <property name="yscale">1</property>
416 <property name="top_padding">0</property>
417 <property name="bottom_padding">0</property>
418 <property name="left_padding">0</property>
419 <property name="right_padding">0</property>
420
421 <child>
422 <widget class="GtkHBox" id="hbox3">
423 <property name="visible">True</property>
424 <property name="homogeneous">False</property>
425 <property name="spacing">0</property>
426
427 <child>
428 <widget class="GtkComboBox" id="methodsel">
429 <property name="visible">True</property>
430 <property name="add_tearoffs">False</property>
431 <property name="focus_on_click">True</property>
432 </widget>
433 <packing>
434 <property name="padding">0</property>
435 <property name="expand">True</property>
436 <property name="fill">True</property>
437 </packing>
438 </child>
439
440 <child>
441 <widget class="GtkButton" id="methodrunbutton">
442 <property name="visible">True</property>
443 <property name="can_focus">True</property>
444 <property name="label" translatable="yes">_Run</property>
445 <property name="use_underline">True</property>
446 <property name="relief">GTK_RELIEF_NORMAL</property>
447 <property name="focus_on_click">True</property>
448 </widget>
449 <packing>
450 <property name="padding">4</property>
451 <property name="expand">False</property>
452 <property name="fill">False</property>
453 </packing>
454 </child>
455 </widget>
456 </child>
457 </widget>
458 </child>
459
460 <child>
461 <widget class="GtkLabel" id="label8">
462 <property name="visible">True</property>
463 <property name="label" translatable="yes">Methods</property>
464 <property name="use_underline">False</property>
465 <property name="use_markup">True</property>
466 <property name="justify">GTK_JUSTIFY_LEFT</property>
467 <property name="wrap">False</property>
468 <property name="selectable">False</property>
469 <property name="xalign">0.5</property>
470 <property name="yalign">0.5</property>
471 <property name="xpad">0</property>
472 <property name="ypad">3</property>
473 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
474 <property name="width_chars">-1</property>
475 <property name="single_line_mode">False</property>
476 <property name="angle">0</property>
477 </widget>
478 <packing>
479 <property name="type">label_item</property>
480 </packing>
481 </child>
482 </widget>
483 </child>
484 </widget>
485 <packing>
486 <property name="expand">False</property>
487 <property name="homogeneous">False</property>
488 </packing>
489 </child>
490 </widget>
491 <packing>
492 <property name="padding">0</property>
493 <property name="expand">False</property>
494 <property name="fill">False</property>
495 </packing>
496 </child>
497
498 <child>
499 <widget class="GtkVPaned" id="browserpaned">
500 <property name="height_request">320</property>
501 <property name="visible">True</property>
502 <property name="can_focus">True</property>
503 <property name="position">421</property>
504
505 <child>
506 <widget class="GtkScrolledWindow" id="scrolledwindow11">
507 <property name="height_request">400</property>
508 <property name="visible">True</property>
509 <property name="can_focus">True</property>
510 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
511 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
512 <property name="shadow_type">GTK_SHADOW_NONE</property>
513 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
514
515 <child>
516 <widget class="GtkViewport" id="viewport2">
517 <property name="visible">True</property>
518 <property name="shadow_type">GTK_SHADOW_IN</property>
519
520 <child>
521 <widget class="GtkNotebook" id="maintabs">
522 <property name="visible">True</property>
523 <property name="can_focus">True</property>
524 <property name="show_tabs">True</property>
525 <property name="show_border">True</property>
526 <property name="tab_pos">GTK_POS_TOP</property>
527 <property name="scrollable">False</property>
528 <property name="enable_popup">False</property>
529
530 <child>
531 <widget class="GtkScrolledWindow" id="scrolledwindow12">
532 <property name="visible">True</property>
533 <property name="can_focus">True</property>
534 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
535 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
536 <property name="shadow_type">GTK_SHADOW_NONE</property>
537 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
538
539 <child>
540 <widget class="GtkTreeView" id="moduleview">
541 <property name="visible">True</property>
542 <property name="can_focus">True</property>
543 <property name="headers_visible">True</property>
544 <property name="rules_hint">False</property>
545 <property name="reorderable">False</property>
546 <property name="enable_search">True</property>
547 <property name="fixed_height_mode">False</property>
548 <property name="hover_selection">False</property>
549 <property name="hover_expand">False</property>
550 <signal name="row_activated" handler="on_moduleview_row_activated" last_modification_time="Sun, 04 Dec 2005 13:02:19 GMT"/>
551 </widget>
552 </child>
553 </widget>
554 <packing>
555 <property name="tab_expand">False</property>
556 <property name="tab_fill">True</property>
557 </packing>
558 </child>
559
560 <child>
561 <widget class="GtkLabel" id="moduletab">
562 <property name="visible">True</property>
563 <property name="label" translatable="yes">Modules</property>
564 <property name="use_underline">False</property>
565 <property name="use_markup">False</property>
566 <property name="justify">GTK_JUSTIFY_LEFT</property>
567 <property name="wrap">False</property>
568 <property name="selectable">False</property>
569 <property name="xalign">0.5</property>
570 <property name="yalign">0.5</property>
571 <property name="xpad">0</property>
572 <property name="ypad">0</property>
573 <property name="mnemonic_widget">moduleview</property>
574 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
575 <property name="width_chars">-1</property>
576 <property name="single_line_mode">False</property>
577 <property name="angle">0</property>
578 </widget>
579 <packing>
580 <property name="type">tab</property>
581 </packing>
582 </child>
583
584 <child>
585 <widget class="GtkScrolledWindow" id="scrolledwindow13">
586 <property name="visible">True</property>
587 <property name="can_focus">True</property>
588 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
589 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
590 <property name="shadow_type">GTK_SHADOW_NONE</property>
591 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
592
593 <child>
594 <widget class="GtkTreeView" id="browserview">
595 <property name="visible">True</property>
596 <property name="can_focus">True</property>
597 <property name="has_focus">True</property>
598 <property name="headers_visible">True</property>
599 <property name="rules_hint">False</property>
600 <property name="reorderable">False</property>
601 <property name="enable_search">True</property>
602 <property name="fixed_height_mode">False</property>
603 <property name="hover_selection">False</property>
604 <property name="hover_expand">False</property>
605 <signal name="key_press_event" handler="on_browserview_key_press_event" last_modification_time="Thu, 17 Nov 2005 15:57:18 GMT"/>
606 </widget>
607 </child>
608 </widget>
609 <packing>
610 <property name="tab_expand">False</property>
611 <property name="tab_fill">True</property>
612 </packing>
613 </child>
614
615 <child>
616 <widget class="GtkLabel" id="label10">
617 <property name="visible">True</property>
618 <property name="label" translatable="yes">Simulation </property>
619 <property name="use_underline">False</property>
620 <property name="use_markup">False</property>
621 <property name="justify">GTK_JUSTIFY_LEFT</property>
622 <property name="wrap">False</property>
623 <property name="selectable">False</property>
624 <property name="xalign">0.5</property>
625 <property name="yalign">0.5</property>
626 <property name="xpad">0</property>
627 <property name="ypad">0</property>
628 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
629 <property name="width_chars">-1</property>
630 <property name="single_line_mode">False</property>
631 <property name="angle">0</property>
632 </widget>
633 <packing>
634 <property name="type">tab</property>
635 </packing>
636 </child>
637 </widget>
638 </child>
639 </widget>
640 </child>
641 </widget>
642 <packing>
643 <property name="shrink">True</property>
644 <property name="resize">False</property>
645 </packing>
646 </child>
647
648 <child>
649 <widget class="GtkNotebook" id="notebook4">
650 <property name="visible">True</property>
651 <property name="can_focus">True</property>
652 <property name="show_tabs">True</property>
653 <property name="show_border">True</property>
654 <property name="tab_pos">GTK_POS_TOP</property>
655 <property name="scrollable">False</property>
656 <property name="enable_popup">False</property>
657
658 <child>
659 <widget class="GtkScrolledWindow" id="scrolledwindow10">
660 <property name="visible">True</property>
661 <property name="can_focus">True</property>
662 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
663 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
664 <property name="shadow_type">GTK_SHADOW_IN</property>
665 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
666
667 <child>
668 <widget class="GtkTreeView" id="errorview">
669 <property name="height_request">202</property>
670 <property name="visible">True</property>
671 <property name="can_focus">True</property>
672 <property name="headers_visible">True</property>
673 <property name="rules_hint">False</property>
674 <property name="reorderable">False</property>
675 <property name="enable_search">True</property>
676 <property name="fixed_height_mode">False</property>
677 <property name="hover_selection">False</property>
678 <property name="hover_expand">False</property>
679 </widget>
680 </child>
681 </widget>
682 <packing>
683 <property name="tab_expand">False</property>
684 <property name="tab_fill">True</property>
685 </packing>
686 </child>
687
688 <child>
689 <widget class="GtkLabel" id="errortab">
690 <property name="visible">True</property>
691 <property name="label" translatable="yes">Errors / Warnings</property>
692 <property name="use_underline">False</property>
693 <property name="use_markup">False</property>
694 <property name="justify">GTK_JUSTIFY_LEFT</property>
695 <property name="wrap">False</property>
696 <property name="selectable">False</property>
697 <property name="xalign">0.5</property>
698 <property name="yalign">0.5</property>
699 <property name="xpad">0</property>
700 <property name="ypad">0</property>
701 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
702 <property name="width_chars">-1</property>
703 <property name="single_line_mode">False</property>
704 <property name="angle">0</property>
705 </widget>
706 <packing>
707 <property name="type">tab</property>
708 </packing>
709 </child>
710 </widget>
711 <packing>
712 <property name="shrink">True</property>
713 <property name="resize">True</property>
714 </packing>
715 </child>
716 </widget>
717 <packing>
718 <property name="padding">0</property>
719 <property name="expand">True</property>
720 <property name="fill">True</property>
721 </packing>
722 </child>
723
724 <child>
725 <widget class="GtkStatusbar" id="statusbar">
726 <property name="visible">True</property>
727 <property name="has_resize_grip">True</property>
728 </widget>
729 <packing>
730 <property name="padding">0</property>
731 <property name="expand">False</property>
732 <property name="fill">False</property>
733 </packing>
734 </child>
735 </widget>
736 </child>
737 </widget>
738
739 <widget class="GtkMenu" id="browsercontext">
740
741 <child>
742 <widget class="GtkImageMenuItem" id="fix1">
743 <property name="visible">True</property>
744 <property name="tooltip" translatable="yes">Make this a 'fixed' variable\n in the simulation</property>
745 <property name="label" translatable="yes">_Fix</property>
746 <property name="use_underline">True</property>
747 <signal name="activate" handler="on_fix1_activate" last_modification_time="Thu, 17 Nov 2005 12:34:26 GMT"/>
748 <accelerator key="f" modifiers="GDK_CONTROL_MASK" signal="activate"/>
749
750 <child internal-child="image">
751 <widget class="GtkImage" id="image11">
752 <property name="visible">True</property>
753 <property name="stock">gtk-yes</property>
754 <property name="icon_size">1</property>
755 <property name="xalign">0.5</property>
756 <property name="yalign">0.5</property>
757 <property name="xpad">0</property>
758 <property name="ypad">0</property>
759 </widget>
760 </child>
761 </widget>
762 </child>
763
764 <child>
765 <widget class="GtkImageMenuItem" id="free1">
766 <property name="visible">True</property>
767 <property name="tooltip" translatable="yes">Allow this variable to be varied\nwhen solving the system</property>
768 <property name="label" translatable="yes">F_ree</property>
769 <property name="use_underline">True</property>
770 <signal name="activate" handler="on_free1_activate" last_modification_time="Thu, 17 Nov 2005 12:34:26 GMT"/>
771 <accelerator key="r" modifiers="GDK_CONTROL_MASK" signal="activate"/>
772
773 <child internal-child="image">
774 <widget class="GtkImage" id="image12">
775 <property name="visible">True</property>
776 <property name="stock">gtk-no</property>
777 <property name="icon_size">1</property>
778 <property name="xalign">0.5</property>
779 <property name="yalign">0.5</property>
780 <property name="xpad">0</property>
781 <property name="ypad">0</property>
782 </widget>
783 </child>
784 </widget>
785 </child>
786
787 <child>
788 <widget class="GtkSeparatorMenuItem" id="separator2">
789 <property name="visible">True</property>
790 </widget>
791 </child>
792
793 <child>
794 <widget class="GtkMenuItem" id="plot1">
795 <property name="visible">True</property>
796 <property name="label" translatable="yes">_Plot</property>
797 <property name="use_underline">True</property>
798 <signal name="activate" handler="on_plot1_activate" last_modification_time="Fri, 06 Jan 2006 09:36:45 GMT"/>
799 <accelerator key="p" modifiers="GDK_CONTROL_MASK" signal="activate"/>
800 </widget>
801 </child>
802 </widget>
803
804 <widget class="GtkWindow" id="paramswin">
805 <property name="visible">True</property>
806 <property name="has_default">True</property>
807 <property name="title" translatable="yes">Solver Parameters</property>
808 <property name="type">GTK_WINDOW_TOPLEVEL</property>
809 <property name="window_position">GTK_WIN_POS_NONE</property>
810 <property name="modal">False</property>
811 <property name="default_width">700</property>
812 <property name="default_height">600</property>
813 <property name="resizable">True</property>
814 <property name="destroy_with_parent">False</property>
815 <property name="icon_name">gtk-properties</property>
816 <property name="decorated">True</property>
817 <property name="skip_taskbar_hint">False</property>
818 <property name="skip_pager_hint">False</property>
819 <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
820 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
821 <property name="focus_on_map">True</property>
822 <signal name="destroy" handler="on_paramswin_destroy" last_modification_time="Fri, 27 Jan 2006 05:15:10 GMT"/>
823
824 <child>
825 <widget class="GtkVBox" id="vbox6">
826 <property name="visible">True</property>
827 <property name="homogeneous">False</property>
828 <property name="spacing">0</property>
829
830 <child>
831 <widget class="GtkHBox" id="hbox6">
832 <property name="visible">True</property>
833 <property name="homogeneous">False</property>
834 <property name="spacing">0</property>
835
836 <child>
837 <widget class="GtkLabel" id="label11">
838 <property name="visible">True</property>
839 <property name="label" translatable="yes">&lt;b&gt;Current solver:&lt;/b&gt; </property>
840 <property name="use_underline">False</property>
841 <property name="use_markup">True</property>
842 <property name="justify">GTK_JUSTIFY_LEFT</property>
843 <property name="wrap">False</property>
844 <property name="selectable">False</property>
845 <property name="xalign">0.5</property>
846 <property name="yalign">0.5</property>
847 <property name="xpad">0</property>
848 <property name="ypad">0</property>
849 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
850 <property name="width_chars">-1</property>
851 <property name="single_line_mode">False</property>
852 <property name="angle">0</property>
853 </widget>
854 <packing>
855 <property name="padding">0</property>
856 <property name="expand">False</property>
857 <property name="fill">False</property>
858 </packing>
859 </child>
860
861 <child>
862 <widget class="GtkLabel" id="solvername">
863 <property name="visible">True</property>
864 <property name="label" translatable="yes">solvername </property>
865 <property name="use_underline">False</property>
866 <property name="use_markup">False</property>
867 <property name="justify">GTK_JUSTIFY_LEFT</property>
868 <property name="wrap">False</property>
869 <property name="selectable">False</property>
870 <property name="xalign">0.5</property>
871 <property name="yalign">0.5</property>
872 <property name="xpad">0</property>
873 <property name="ypad">0</property>
874 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
875 <property name="width_chars">-1</property>
876 <property name="single_line_mode">False</property>
877 <property name="angle">0</property>
878 </widget>
879 <packing>
880 <property name="padding">0</property>
881 <property name="expand">False</property>
882 <property name="fill">False</property>
883 </packing>
884 </child>
885 </widget>
886 <packing>
887 <property name="padding">14</property>
888 <property name="expand">False</property>
889 <property name="fill">True</property>
890 </packing>
891 </child>
892
893 <child>
894 <widget class="GtkScrolledWindow" id="scrolledwindow14">
895 <property name="visible">True</property>
896 <property name="can_focus">True</property>
897 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
898 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
899 <property name="shadow_type">GTK_SHADOW_IN</property>
900 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
901
902 <child>
903 <widget class="GtkViewport" id="viewport3">
904 <property name="visible">True</property>
905 <property name="shadow_type">GTK_SHADOW_IN</property>
906
907 <child>
908 <widget class="GtkTreeView" id="paramsview">
909 <property name="visible">True</property>
910 <property name="can_focus">True</property>
911 <property name="headers_visible">True</property>
912 <property name="rules_hint">False</property>
913 <property name="reorderable">False</property>
914 <property name="enable_search">True</property>
915 <property name="fixed_height_mode">False</property>
916 <property name="hover_selection">False</property>
917 <property name="hover_expand">False</property>
918 <signal name="row_activated" handler="on_paramsview_row_activated" last_modification_time="Fri, 27 Jan 2006 05:56:55 GMT"/>
919 <signal name="select_cursor_row" handler="on_paramsview_select_cursor_row" last_modification_time="Fri, 27 Jan 2006 07:21:36 GMT"/>
920 <signal name="button_press_event" handler="on_paramsview_button_press_event" last_modification_time="Sat, 28 Jan 2006 01:46:18 GMT"/>
921 <signal name="cursor_changed" handler="on_paramsview_cursor_changed" last_modification_time="Sat, 28 Jan 2006 03:40:50 GMT"/>
922 </widget>
923 </child>
924 </widget>
925 </child>
926 </widget>
927 <packing>
928 <property name="padding">0</property>
929 <property name="expand">True</property>
930 <property name="fill">True</property>
931 </packing>
932 </child>
933
934 <child>
935 <widget class="GtkHBox" id="hbox4">
936 <property name="visible">True</property>
937 <property name="homogeneous">False</property>
938 <property name="spacing">8</property>
939 </widget>
940 <packing>
941 <property name="padding">0</property>
942 <property name="expand">False</property>
943 <property name="fill">True</property>
944 </packing>
945 </child>
946
947 <child>
948 <widget class="GtkFrame" id="frame2">
949 <property name="visible">True</property>
950 <property name="label_xalign">0</property>
951 <property name="label_yalign">0.5</property>
952 <property name="shadow_type">GTK_SHADOW_NONE</property>
953
954 <child>
955 <widget class="GtkAlignment" id="alignment2">
956 <property name="visible">True</property>
957 <property name="xalign">0.5</property>
958 <property name="yalign">0.5</property>
959 <property name="xscale">1</property>
960 <property name="yscale">1</property>
961 <property name="top_padding">0</property>
962 <property name="bottom_padding">0</property>
963 <property name="left_padding">12</property>
964 <property name="right_padding">0</property>
965
966 <child>
967 <widget class="GtkLabel" id="paramdescription">
968 <property name="visible">True</property>
969 <property name="label" translatable="yes">To edit a paramer, select the row you want then click the 'value' column.</property>
970 <property name="use_underline">False</property>
971 <property name="use_markup">False</property>
972 <property name="justify">GTK_JUSTIFY_LEFT</property>
973 <property name="wrap">False</property>
974 <property name="selectable">False</property>
975 <property name="xalign">0</property>
976 <property name="yalign">0.5</property>
977 <property name="xpad">10</property>
978 <property name="ypad">10</property>
979 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
980 <property name="width_chars">-1</property>
981 <property name="single_line_mode">False</property>
982 <property name="angle">0</property>
983 </widget>
984 </child>
985 </widget>
986 </child>
987
988 <child>
989 <widget class="GtkLabel" id="label13">
990 <property name="visible">True</property>
991 <property name="label" translatable="yes">Parameter info</property>
992 <property name="use_underline">False</property>
993 <property name="use_markup">True</property>
994 <property name="justify">GTK_JUSTIFY_LEFT</property>
995 <property name="wrap">False</property>
996 <property name="selectable">False</property>
997 <property name="xalign">0.5</property>
998 <property name="yalign">0.5</property>
999 <property name="xpad">0</property>
1000 <property name="ypad">0</property>
1001 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1002 <property name="width_chars">-1</property>
1003 <property name="single_line_mode">False</property>
1004 <property name="angle">0</property>
1005 </widget>
1006 <packing>
1007 <property name="type">label_item</property>
1008 </packing>
1009 </child>
1010 </widget>
1011 <packing>
1012 <property name="padding">8</property>
1013 <property name="expand">False</property>
1014 <property name="fill">False</property>
1015 </packing>
1016 </child>
1017
1018 <child>
1019 <widget class="GtkHBox" id="hbox5">
1020 <property name="visible">True</property>
1021 <property name="homogeneous">True</property>
1022 <property name="spacing">8</property>
1023
1024 <child>
1025 <widget class="GtkButton" id="paramsapply">
1026 <property name="visible">True</property>
1027 <property name="can_focus">True</property>
1028 <property name="label">gtk-apply</property>
1029 <property name="use_stock">True</property>
1030 <property name="relief">GTK_RELIEF_NORMAL</property>
1031 <property name="focus_on_click">True</property>
1032 <signal name="clicked" handler="on_paramsapply_clicked" last_modification_time="Sat, 28 Jan 2006 04:38:49 GMT"/>
1033 </widget>
1034 <packing>
1035 <property name="padding">0</property>
1036 <property name="expand">False</property>
1037 <property name="fill">False</property>
1038 <property name="pack_type">GTK_PACK_END</property>
1039 </packing>
1040 </child>
1041
1042 <child>
1043 <widget class="GtkButton" id="paramscancel">
1044 <property name="visible">True</property>
1045 <property name="can_focus">True</property>
1046 <property name="label">gtk-cancel</property>
1047 <property name="use_stock">True</property>
1048 <property name="relief">GTK_RELIEF_NORMAL</property>
1049 <property name="focus_on_click">True</property>
1050 <signal name="clicked" handler="on_paramscancel_clicked" last_modification_time="Sat, 28 Jan 2006 04:38:40 GMT"/>
1051 </widget>
1052 <packing>
1053 <property name="padding">0</property>
1054 <property name="expand">False</property>
1055 <property name="fill">False</property>
1056 <property name="pack_type">GTK_PACK_END</property>
1057 </packing>
1058 </child>
1059 </widget>
1060 <packing>
1061 <property name="padding">0</property>
1062 <property name="expand">False</property>
1063 <property name="fill">False</property>
1064 </packing>
1065 </child>
1066 </widget>
1067 </child>
1068 </widget>
1069
1070 <widget class="GtkDialog" id="boundsdialog">
1071 <property name="visible">True</property>
1072 <property name="title" translatable="yes">Out of bounds</property>
1073 <property name="type">GTK_WINDOW_TOPLEVEL</property>
1074 <property name="window_position">GTK_WIN_POS_NONE</property>
1075 <property name="modal">False</property>
1076 <property name="resizable">True</property>
1077 <property name="destroy_with_parent">False</property>
1078 <property name="decorated">True</property>
1079 <property name="skip_taskbar_hint">False</property>
1080 <property name="skip_pager_hint">False</property>
1081 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1082 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1083 <property name="focus_on_map">True</property>
1084 <property name="has_separator">True</property>
1085
1086 <child internal-child="vbox">
1087 <widget class="GtkVBox" id="dialog-vbox1">
1088 <property name="visible">True</property>
1089 <property name="homogeneous">False</property>
1090 <property name="spacing">0</property>
1091
1092 <child internal-child="action_area">
1093 <widget class="GtkHButtonBox" id="dialog-action_area1">
1094 <property name="visible">True</property>
1095 <property name="layout_style">GTK_BUTTONBOX_END</property>
1096
1097 <child>
1098 <widget class="GtkButton" id="okbutton1">
1099 <property name="visible">True</property>
1100 <property name="can_default">True</property>
1101 <property name="can_focus">True</property>
1102 <property name="label">gtk-ok</property>
1103 <property name="use_stock">True</property>
1104 <property name="relief">GTK_RELIEF_NORMAL</property>
1105 <property name="focus_on_click">True</property>
1106 <property name="response_id">-5</property>
1107 </widget>
1108 </child>
1109 </widget>
1110 <packing>
1111 <property name="padding">0</property>
1112 <property name="expand">False</property>
1113 <property name="fill">True</property>
1114 <property name="pack_type">GTK_PACK_END</property>
1115 </packing>
1116 </child>
1117
1118 <child>
1119 <widget class="GtkLabel" id="msg">
1120 <property name="visible">True</property>
1121 <property name="label" translatable="yes">Please enter a value that lies within the
1122 upper and lower bounds displayed.</property>
1123 <property name="use_underline">False</property>
1124 <property name="use_markup">True</property>
1125 <property name="justify">GTK_JUSTIFY_LEFT</property>
1126 <property name="wrap">False</property>
1127 <property name="selectable">False</property>
1128 <property name="xalign">0</property>
1129 <property name="yalign">0.5</property>
1130 <property name="xpad">8</property>
1131 <property name="ypad">8</property>
1132 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1133 <property name="width_chars">-1</property>
1134 <property name="single_line_mode">False</property>
1135 <property name="angle">0</property>
1136 </widget>
1137 <packing>
1138 <property name="padding">0</property>
1139 <property name="expand">False</property>
1140 <property name="fill">False</property>
1141 </packing>
1142 </child>
1143 </widget>
1144 </child>
1145 </widget>
1146
1147 <widget class="GtkDialog" id="dialog1">
1148 <property name="visible">True</property>
1149 <property name="title" translatable="yes">dialog1</property>
1150 <property name="type">GTK_WINDOW_TOPLEVEL</property>
1151 <property name="window_position">GTK_WIN_POS_NONE</property>
1152 <property name="modal">False</property>
1153 <property name="resizable">True</property>
1154 <property name="destroy_with_parent">False</property>
1155 <property name="decorated">True</property>
1156 <property name="skip_taskbar_hint">False</property>
1157 <property name="skip_pager_hint">False</property>
1158 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1159 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1160 <property name="focus_on_map">True</property>
1161 <property name="has_separator">True</property>
1162
1163 <child internal-child="vbox">
1164 <widget class="GtkVBox" id="dialog-vbox2">
1165 <property name="visible">True</property>
1166 <property name="homogeneous">False</property>
1167 <property name="spacing">0</property>
1168
1169 <child internal-child="action_area">
1170 <widget class="GtkHButtonBox" id="dialog-action_area2">
1171 <property name="visible">True</property>
1172 <property name="layout_style">GTK_BUTTONBOX_END</property>
1173
1174 <child>
1175 <widget class="GtkButton" id="closebutton1">
1176 <property name="visible">True</property>
1177 <property name="can_default">True</property>
1178 <property name="can_focus">True</property>
1179 <property name="label">gtk-close</property>
1180 <property name="use_stock">True</property>
1181 <property name="relief">GTK_RELIEF_NORMAL</property>
1182 <property name="focus_on_click">True</property>
1183 <property name="response_id">-7</property>
1184 </widget>
1185 </child>
1186 </widget>
1187 <packing>
1188 <property name="padding">0</property>
1189 <property name="expand">False</property>
1190 <property name="fill">True</property>
1191 <property name="pack_type">GTK_PACK_END</property>
1192 </packing>
1193 </child>
1194
1195 <child>
1196 <placeholder/>
1197 </child>
1198 </widget>
1199 </child>
1200 </widget>
1201
1202 <widget class="GtkDialog" id="aboutdialog">
1203 <property name="visible">True</property>
1204 <property name="title" translatable="yes">About</property>
1205 <property name="type">GTK_WINDOW_TOPLEVEL</property>
1206 <property name="window_position">GTK_WIN_POS_NONE</property>
1207 <property name="modal">False</property>
1208 <property name="resizable">True</property>
1209 <property name="destroy_with_parent">False</property>
1210 <property name="decorated">True</property>
1211 <property name="skip_taskbar_hint">False</property>
1212 <property name="skip_pager_hint">False</property>
1213 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1214 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1215 <property name="focus_on_map">True</property>
1216 <property name="has_separator">True</property>
1217
1218 <child internal-child="vbox">
1219 <widget class="GtkVBox" id="dialog-vbox3">
1220 <property name="visible">True</property>
1221 <property name="homogeneous">False</property>
1222 <property name="spacing">0</property>
1223
1224 <child internal-child="action_area">
1225 <widget class="GtkHButtonBox" id="dialog-action_area3">
1226 <property name="visible">True</property>
1227 <property name="layout_style">GTK_BUTTONBOX_END</property>
1228
1229 <child>
1230 <widget class="GtkButton" id="closebutton2">
1231 <property name="visible">True</property>
1232 <property name="can_default">True</property>
1233 <property name="can_focus">True</property>
1234 <property name="label">gtk-close</property>
1235 <property name="use_stock">True</property>
1236 <property name="relief">GTK_RELIEF_NORMAL</property>
1237 <property name="focus_on_click">True</property>
1238 <property name="response_id">-7</property>
1239 </widget>
1240 </child>
1241 </widget>
1242 <packing>
1243 <property name="padding">0</property>
1244 <property name="expand">False</property>
1245 <property name="fill">True</property>
1246 <property name="pack_type">GTK_PACK_END</property>
1247 </packing>
1248 </child>
1249
1250 <child>
1251 <widget class="GtkLabel" id="label14">
1252 <property name="visible">True</property>
1253 <property name="label" translatable="yes">&lt;b&gt;ASCEND&lt;/b&gt;
1254
1255 Ascend is a large-scale object-oriented
1256 mathematical modelling environment with
1257 a strongly-typed modelling language.
1258
1259 Version @ABOUT_VERSION@
1260
1261 Developers @ABOUT_DEVELOPERS@</property>
1262 <property name="use_underline">False</property>
1263 <property name="use_markup">True</property>
1264 <property name="justify">GTK_JUSTIFY_LEFT</property>
1265 <property name="wrap">False</property>
1266 <property name="selectable">False</property>
1267 <property name="xalign">0</property>
1268 <property name="yalign">0</property>
1269 <property name="xpad">8</property>
1270 <property name="ypad">8</property>
1271 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1272 <property name="width_chars">-1</property>
1273 <property name="single_line_mode">False</property>
1274 <property name="angle">0</property>
1275 </widget>
1276 <packing>
1277 <property name="padding">0</property>
1278 <property name="expand">False</property>
1279 <property name="fill">False</property>
1280 </packing>
1281 </child>
1282 </widget>
1283 </child>
1284 </widget>
1285
1286 <widget class="GtkMenu" id="menu8">
1287
1288 <child>
1289 <widget class="GtkImageMenuItem" id="copy2">
1290 <property name="visible">True</property>
1291 <property name="label" translatable="yes">Copy</property>
1292 <property name="use_underline">True</property>
1293 <signal name="activate" handler="on_copy2_activate" last_modification_time="Sun, 13 Nov 2005 07:45:55 GMT"/>
1294
1295 <child internal-child="image">
1296 <widget class="GtkImage" id="image6">
1297 <property name="visible">True</property>
1298 <property name="stock">gtk-copy</property>
1299 <property name="icon_size">1</property>
1300 <property name="xalign">0.5</property>
1301 <property name="yalign">0.5</property>
1302 <property name="xpad">0</property>
1303 <property name="ypad">0</property>
1304 </widget>
1305 </child>
1306 </widget>
1307 </child>
1308
1309 <child>
1310 <widget class="GtkImageMenuItem" id="clear_all1">
1311 <property name="visible">True</property>
1312 <property name="label" translatable="yes">Clear all</property>
1313 <property name="use_underline">True</property>
1314 <signal name="activate" handler="on_clear_all1_activate" last_modification_time="Sun, 13 Nov 2005 07:45:55 GMT"/>
1315
1316 <child internal-child="image">
1317 <widget class="GtkImage" id="image7">
1318 <property name="visible">True</property>
1319 <property name="stock">gtk-clear</property>
1320 <property name="icon_size">1</property>
1321 <property name="xalign">0.5</property>
1322 <property name="yalign">0.5</property>
1323 <property name="xpad">0</property>
1324 <property name="ypad">0</property>
1325 </widget>
1326 </child>
1327 </widget>
1328 </child>
1329 </widget>
1330
1331 </glade-interface>

john.pye@anu.edu.au
ViewVC Help
Powered by ViewVC 1.1.22