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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 225 - (show annotations) (download)
Fri Jan 27 14:55:43 2006 UTC (14 years, 10 months ago) by johnpye
File size: 69684 byte(s)
Added const-ness to 2nd parameter of slv_set_char_parameter.
Implemented setting of int, real and string parameters via PyGTK interface.
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="mainwin">
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">700</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="delete_event" handler="on_mainwin_delete_event" last_modification_time="Sun, 13 Nov 2005 07:16:10 GMT"/>
24
25 <child>
26 <widget class="GtkVBox" id="vbox1">
27 <property name="visible">True</property>
28 <property name="homogeneous">False</property>
29 <property name="spacing">0</property>
30
31 <child>
32 <widget class="GtkMenuBar" id="menubar1">
33 <property name="visible">True</property>
34
35 <child>
36 <widget class="GtkMenuItem" id="menuitem4">
37 <property name="visible">True</property>
38 <property name="label" translatable="yes">_File</property>
39 <property name="use_underline">True</property>
40
41 <child>
42 <widget class="GtkMenu" id="menu4">
43
44 <child>
45 <widget class="GtkImageMenuItem" id="new1">
46 <property name="visible">True</property>
47 <property name="label">gtk-new</property>
48 <property name="use_stock">True</property>
49 <signal name="activate" handler="on_new1_activate" last_modification_time="Sat, 12 Nov 2005 01:18:44 GMT"/>
50 </widget>
51 </child>
52
53 <child>
54 <widget class="GtkImageMenuItem" id="open1">
55 <property name="visible">True</property>
56 <property name="label">gtk-open</property>
57 <property name="use_stock">True</property>
58 <signal name="activate" handler="on_open1_activate" last_modification_time="Sat, 12 Nov 2005 01:18:44 GMT"/>
59 </widget>
60 </child>
61
62 <child>
63 <widget class="GtkImageMenuItem" id="save1">
64 <property name="visible">True</property>
65 <property name="label">gtk-save</property>
66 <property name="use_stock">True</property>
67 <signal name="activate" handler="on_save1_activate" last_modification_time="Sat, 12 Nov 2005 01:18:44 GMT"/>
68 </widget>
69 </child>
70
71 <child>
72 <widget class="GtkImageMenuItem" id="save_as1">
73 <property name="visible">True</property>
74 <property name="label">gtk-save-as</property>
75 <property name="use_stock">True</property>
76 <signal name="activate" handler="on_save_as1_activate" last_modification_time="Sat, 12 Nov 2005 01:18:44 GMT"/>
77 </widget>
78 </child>
79
80 <child>
81 <widget class="GtkSeparatorMenuItem" id="separatormenuitem1">
82 <property name="visible">True</property>
83 </widget>
84 </child>
85
86 <child>
87 <widget class="GtkImageMenuItem" id="quit1">
88 <property name="visible">True</property>
89 <property name="label">gtk-quit</property>
90 <property name="use_stock">True</property>
91 <signal name="activate" handler="on_quit1_activate" last_modification_time="Sat, 12 Nov 2005 01:18:44 GMT"/>
92 </widget>
93 </child>
94 </widget>
95 </child>
96 </widget>
97 </child>
98
99 <child>
100 <widget class="GtkMenuItem" id="menuitem5">
101 <property name="visible">True</property>
102 <property name="label" translatable="yes">_Edit</property>
103 <property name="use_underline">True</property>
104
105 <child>
106 <widget class="GtkMenu" id="menu5">
107
108 <child>
109 <widget class="GtkImageMenuItem" id="cut1">
110 <property name="visible">True</property>
111 <property name="label">gtk-cut</property>
112 <property name="use_stock">True</property>
113 <signal name="activate" handler="on_cut1_activate" last_modification_time="Sat, 12 Nov 2005 01:18:44 GMT"/>
114 </widget>
115 </child>
116
117 <child>
118 <widget class="GtkImageMenuItem" id="copy1">
119 <property name="visible">True</property>
120 <property name="label">gtk-copy</property>
121 <property name="use_stock">True</property>
122 <signal name="activate" handler="on_copy1_activate" last_modification_time="Sat, 12 Nov 2005 01:18:44 GMT"/>
123 </widget>
124 </child>
125
126 <child>
127 <widget class="GtkImageMenuItem" id="paste1">
128 <property name="visible">True</property>
129 <property name="label">gtk-paste</property>
130 <property name="use_stock">True</property>
131 <signal name="activate" handler="on_paste1_activate" last_modification_time="Sat, 12 Nov 2005 01:18:44 GMT"/>
132 </widget>
133 </child>
134
135 <child>
136 <widget class="GtkImageMenuItem" id="delete1">
137 <property name="visible">True</property>
138 <property name="label">gtk-delete</property>
139 <property name="use_stock">True</property>
140 <signal name="activate" handler="on_delete1_activate" last_modification_time="Sat, 12 Nov 2005 01:18:44 GMT"/>
141 </widget>
142 </child>
143 </widget>
144 </child>
145 </widget>
146 </child>
147
148 <child>
149 <widget class="GtkMenuItem" id="menuitem6">
150 <property name="visible">True</property>
151 <property name="label" translatable="yes">_View</property>
152 <property name="use_underline">True</property>
153
154 <child>
155 <widget class="GtkMenu" id="menu6">
156 </widget>
157 </child>
158 </widget>
159 </child>
160
161 <child>
162 <widget class="GtkMenuItem" id="menuitem7">
163 <property name="visible">True</property>
164 <property name="label" translatable="yes">_Help</property>
165 <property name="use_underline">True</property>
166
167 <child>
168 <widget class="GtkMenu" id="menu7">
169
170 <child>
171 <widget class="GtkMenuItem" id="about1">
172 <property name="visible">True</property>
173 <property name="label" translatable="yes">_About</property>
174 <property name="use_underline">True</property>
175 <signal name="activate" handler="on_about1_activate" last_modification_time="Sat, 12 Nov 2005 01:18:44 GMT"/>
176 </widget>
177 </child>
178 </widget>
179 </child>
180 </widget>
181 </child>
182 </widget>
183 <packing>
184 <property name="padding">0</property>
185 <property name="expand">False</property>
186 <property name="fill">False</property>
187 </packing>
188 </child>
189
190 <child>
191 <widget class="GtkToolbar" id="toolbar1">
192 <property name="visible">True</property>
193 <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
194 <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
195 <property name="tooltips">True</property>
196 <property name="show_arrow">True</property>
197
198 <child>
199 <widget class="GtkToolButton" id="toolbutton1">
200 <property name="visible">True</property>
201 <property name="label" translatable="yes">New </property>
202 <property name="use_underline">True</property>
203 <property name="stock_id">gtk-new</property>
204 <property name="visible_horizontal">True</property>
205 <property name="visible_vertical">True</property>
206 <property name="is_important">False</property>
207 </widget>
208 <packing>
209 <property name="expand">False</property>
210 <property name="homogeneous">True</property>
211 </packing>
212 </child>
213
214 <child>
215 <widget class="GtkToolButton" id="toolbutton2">
216 <property name="visible">True</property>
217 <property name="stock_id">gtk-open</property>
218 <property name="visible_horizontal">True</property>
219 <property name="visible_vertical">True</property>
220 <property name="is_important">False</property>
221 </widget>
222 <packing>
223 <property name="expand">False</property>
224 <property name="homogeneous">True</property>
225 </packing>
226 </child>
227
228 <child>
229 <widget class="GtkToolButton" id="toolbutton3">
230 <property name="visible">True</property>
231 <property name="label" translatable="yes">Save </property>
232 <property name="use_underline">True</property>
233 <property name="stock_id">gtk-save</property>
234 <property name="visible_horizontal">True</property>
235 <property name="visible_vertical">True</property>
236 <property name="is_important">False</property>
237 </widget>
238 <packing>
239 <property name="expand">False</property>
240 <property name="homogeneous">True</property>
241 </packing>
242 </child>
243
244 <child>
245 <widget class="GtkSeparatorToolItem" id="separatortoolitem1">
246 <property name="visible">True</property>
247 <property name="draw">True</property>
248 <property name="visible_horizontal">True</property>
249 <property name="visible_vertical">True</property>
250 </widget>
251 <packing>
252 <property name="expand">False</property>
253 <property name="homogeneous">False</property>
254 </packing>
255 </child>
256
257 <child>
258 <widget class="GtkToolButton" id="toolbutton5">
259 <property name="visible">True</property>
260 <property name="label" translatable="yes">Check</property>
261 <property name="use_underline">True</property>
262 <property name="stock_id">gtk-apply</property>
263 <property name="visible_horizontal">True</property>
264 <property name="visible_vertical">True</property>
265 <property name="is_important">False</property>
266 </widget>
267 <packing>
268 <property name="expand">False</property>
269 <property name="homogeneous">True</property>
270 </packing>
271 </child>
272
273 <child>
274 <widget class="GtkToolButton" id="toolbutton4">
275 <property name="visible">True</property>
276 <property name="label" translatable="yes">Run</property>
277 <property name="use_underline">True</property>
278 <property name="stock_id">gtk-execute</property>
279 <property name="visible_horizontal">True</property>
280 <property name="visible_vertical">True</property>
281 <property name="is_important">False</property>
282 </widget>
283 <packing>
284 <property name="expand">False</property>
285 <property name="homogeneous">True</property>
286 </packing>
287 </child>
288 </widget>
289 <packing>
290 <property name="padding">0</property>
291 <property name="expand">False</property>
292 <property name="fill">False</property>
293 </packing>
294 </child>
295
296 <child>
297 <widget class="GtkHPaned" id="hpaned1">
298 <property name="visible">True</property>
299 <property name="can_focus">True</property>
300 <property name="position">194</property>
301
302 <child>
303 <widget class="GtkScrolledWindow" id="scrolledwindow1">
304 <property name="visible">True</property>
305 <property name="can_focus">True</property>
306 <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
307 <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
308 <property name="shadow_type">GTK_SHADOW_NONE</property>
309 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
310
311 <child>
312 <widget class="GtkViewport" id="viewport1">
313 <property name="visible">True</property>
314 <property name="shadow_type">GTK_SHADOW_IN</property>
315
316 <child>
317 <widget class="GtkNotebook" id="notebook2">
318 <property name="visible">True</property>
319 <property name="can_focus">True</property>
320 <property name="show_tabs">True</property>
321 <property name="show_border">True</property>
322 <property name="tab_pos">GTK_POS_TOP</property>
323 <property name="scrollable">False</property>
324 <property name="enable_popup">False</property>
325
326 <child>
327 <widget class="GtkTreeView" id="library">
328 <property name="visible">True</property>
329 <property name="can_focus">True</property>
330 <property name="headers_visible">True</property>
331 <property name="rules_hint">False</property>
332 <property name="reorderable">False</property>
333 <property name="enable_search">True</property>
334 <property name="fixed_height_mode">False</property>
335 <property name="hover_selection">False</property>
336 <property name="hover_expand">False</property>
337 </widget>
338 <packing>
339 <property name="tab_expand">False</property>
340 <property name="tab_fill">True</property>
341 </packing>
342 </child>
343
344 <child>
345 <widget class="GtkLabel" id="librarytab">
346 <property name="visible">True</property>
347 <property name="label" translatable="yes">Library</property>
348 <property name="use_underline">False</property>
349 <property name="use_markup">False</property>
350 <property name="justify">GTK_JUSTIFY_LEFT</property>
351 <property name="wrap">False</property>
352 <property name="selectable">False</property>
353 <property name="xalign">0.5</property>
354 <property name="yalign">0.5</property>
355 <property name="xpad">0</property>
356 <property name="ypad">0</property>
357 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
358 <property name="width_chars">-1</property>
359 <property name="single_line_mode">False</property>
360 <property name="angle">0</property>
361 </widget>
362 <packing>
363 <property name="type">tab</property>
364 </packing>
365 </child>
366
367 <child>
368 <widget class="GtkScrolledWindow" id="scrolledwindow6">
369 <property name="visible">True</property>
370 <property name="can_focus">True</property>
371 <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
372 <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
373 <property name="shadow_type">GTK_SHADOW_NONE</property>
374 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
375
376 <child>
377 <widget class="GtkTreeView" id="models">
378 <property name="visible">True</property>
379 <property name="can_focus">True</property>
380 <property name="headers_visible">True</property>
381 <property name="rules_hint">False</property>
382 <property name="reorderable">False</property>
383 <property name="enable_search">True</property>
384 <property name="fixed_height_mode">False</property>
385 <property name="hover_selection">False</property>
386 <property name="hover_expand">False</property>
387 </widget>
388 </child>
389 </widget>
390 <packing>
391 <property name="tab_expand">False</property>
392 <property name="tab_fill">True</property>
393 </packing>
394 </child>
395
396 <child>
397 <widget class="GtkLabel" id="modelstab">
398 <property name="visible">True</property>
399 <property name="label" translatable="yes">Models</property>
400 <property name="use_underline">False</property>
401 <property name="use_markup">False</property>
402 <property name="justify">GTK_JUSTIFY_LEFT</property>
403 <property name="wrap">False</property>
404 <property name="selectable">False</property>
405 <property name="xalign">0.5</property>
406 <property name="yalign">0.5</property>
407 <property name="xpad">0</property>
408 <property name="ypad">0</property>
409 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
410 <property name="width_chars">-1</property>
411 <property name="single_line_mode">False</property>
412 <property name="angle">0</property>
413 </widget>
414 <packing>
415 <property name="type">tab</property>
416 </packing>
417 </child>
418 </widget>
419 </child>
420 </widget>
421 </child>
422 </widget>
423 <packing>
424 <property name="shrink">True</property>
425 <property name="resize">False</property>
426 </packing>
427 </child>
428
429 <child>
430 <widget class="GtkVBox" id="vbox2">
431 <property name="visible">True</property>
432 <property name="homogeneous">False</property>
433 <property name="spacing">0</property>
434
435 <child>
436 <widget class="GtkVPaned" id="vpaned1">
437 <property name="visible">True</property>
438 <property name="can_focus">True</property>
439 <property name="position">434</property>
440
441 <child>
442 <widget class="GtkNotebook" id="notebook1">
443 <property name="visible">True</property>
444 <property name="can_focus">True</property>
445 <property name="show_tabs">True</property>
446 <property name="show_border">True</property>
447 <property name="tab_pos">GTK_POS_TOP</property>
448 <property name="scrollable">False</property>
449 <property name="enable_popup">False</property>
450
451 <child>
452 <widget class="GtkScrolledWindow" id="scrolledwindow2">
453 <property name="visible">True</property>
454 <property name="can_focus">True</property>
455 <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
456 <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
457 <property name="shadow_type">GTK_SHADOW_NONE</property>
458 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
459
460 <child>
461 <widget class="GtkTextView" id="sourcetext">
462 <property name="visible">True</property>
463 <property name="can_focus">True</property>
464 <property name="editable">True</property>
465 <property name="overwrite">False</property>
466 <property name="accepts_tab">True</property>
467 <property name="justification">GTK_JUSTIFY_LEFT</property>
468 <property name="wrap_mode">GTK_WRAP_NONE</property>
469 <property name="cursor_visible">True</property>
470 <property name="pixels_above_lines">0</property>
471 <property name="pixels_below_lines">0</property>
472 <property name="pixels_inside_wrap">0</property>
473 <property name="left_margin">0</property>
474 <property name="right_margin">0</property>
475 <property name="indent">0</property>
476 <property name="text" translatable="yes">source text window</property>
477 </widget>
478 </child>
479 </widget>
480 <packing>
481 <property name="tab_expand">False</property>
482 <property name="tab_fill">True</property>
483 </packing>
484 </child>
485
486 <child>
487 <widget class="GtkLabel" id="sourcetab">
488 <property name="visible">True</property>
489 <property name="label" translatable="yes">Source</property>
490 <property name="use_underline">False</property>
491 <property name="use_markup">False</property>
492 <property name="justify">GTK_JUSTIFY_LEFT</property>
493 <property name="wrap">False</property>
494 <property name="selectable">False</property>
495 <property name="xalign">0.5</property>
496 <property name="yalign">0.5</property>
497 <property name="xpad">0</property>
498 <property name="ypad">0</property>
499 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
500 <property name="width_chars">-1</property>
501 <property name="single_line_mode">False</property>
502 <property name="angle">0</property>
503 </widget>
504 <packing>
505 <property name="type">tab</property>
506 </packing>
507 </child>
508
509 <child>
510 <widget class="GtkScrolledWindow" id="scrolledwindow5">
511 <property name="visible">True</property>
512 <property name="can_focus">True</property>
513 <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
514 <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
515 <property name="shadow_type">GTK_SHADOW_NONE</property>
516 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
517
518 <child>
519 <widget class="GtkTextView" id="probetext">
520 <property name="visible">True</property>
521 <property name="can_focus">True</property>
522 <property name="editable">True</property>
523 <property name="overwrite">False</property>
524 <property name="accepts_tab">True</property>
525 <property name="justification">GTK_JUSTIFY_LEFT</property>
526 <property name="wrap_mode">GTK_WRAP_NONE</property>
527 <property name="cursor_visible">True</property>
528 <property name="pixels_above_lines">0</property>
529 <property name="pixels_below_lines">0</property>
530 <property name="pixels_inside_wrap">0</property>
531 <property name="left_margin">0</property>
532 <property name="right_margin">0</property>
533 <property name="indent">0</property>
534 <property name="text" translatable="yes">probe window</property>
535 </widget>
536 </child>
537 </widget>
538 <packing>
539 <property name="tab_expand">False</property>
540 <property name="tab_fill">True</property>
541 </packing>
542 </child>
543
544 <child>
545 <widget class="GtkLabel" id="probetab">
546 <property name="visible">True</property>
547 <property name="label" translatable="yes">Probe</property>
548 <property name="use_underline">False</property>
549 <property name="use_markup">False</property>
550 <property name="justify">GTK_JUSTIFY_LEFT</property>
551 <property name="wrap">False</property>
552 <property name="selectable">False</property>
553 <property name="xalign">0.5</property>
554 <property name="yalign">0.5</property>
555 <property name="xpad">0</property>
556 <property name="ypad">0</property>
557 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
558 <property name="width_chars">-1</property>
559 <property name="single_line_mode">False</property>
560 <property name="angle">0</property>
561 </widget>
562 <packing>
563 <property name="type">tab</property>
564 </packing>
565 </child>
566 </widget>
567 <packing>
568 <property name="shrink">True</property>
569 <property name="resize">False</property>
570 </packing>
571 </child>
572
573 <child>
574 <widget class="GtkNotebook" id="notebook3">
575 <property name="visible">True</property>
576 <property name="can_focus">True</property>
577 <property name="show_tabs">True</property>
578 <property name="show_border">True</property>
579 <property name="tab_pos">GTK_POS_TOP</property>
580 <property name="scrollable">False</property>
581 <property name="enable_popup">False</property>
582
583 <child>
584 <widget class="GtkScrolledWindow" id="scrolledwindow3">
585 <property name="visible">True</property>
586 <property name="can_focus">True</property>
587 <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
588 <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
589 <property name="shadow_type">GTK_SHADOW_NONE</property>
590 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
591
592 <child>
593 <widget class="GtkTreeView" id="treeview2">
594 <property name="visible">True</property>
595 <property name="can_focus">True</property>
596 <property name="headers_visible">True</property>
597 <property name="rules_hint">False</property>
598 <property name="reorderable">False</property>
599 <property name="enable_search">True</property>
600 <property name="fixed_height_mode">False</property>
601 <property name="hover_selection">False</property>
602 <property name="hover_expand">False</property>
603 </widget>
604 </child>
605 </widget>
606 <packing>
607 <property name="tab_expand">False</property>
608 <property name="tab_fill">True</property>
609 </packing>
610 </child>
611
612 <child>
613 <widget class="GtkLabel" id="errortab">
614 <property name="visible">True</property>
615 <property name="label" translatable="yes">Errors / Warnings</property>
616 <property name="use_underline">False</property>
617 <property name="use_markup">False</property>
618 <property name="justify">GTK_JUSTIFY_LEFT</property>
619 <property name="wrap">False</property>
620 <property name="selectable">False</property>
621 <property name="xalign">0.5</property>
622 <property name="yalign">0.5</property>
623 <property name="xpad">0</property>
624 <property name="ypad">0</property>
625 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
626 <property name="width_chars">-1</property>
627 <property name="single_line_mode">False</property>
628 <property name="angle">0</property>
629 </widget>
630 <packing>
631 <property name="type">tab</property>
632 </packing>
633 </child>
634
635 <child>
636 <widget class="GtkScrolledWindow" id="scrolledwindow4">
637 <property name="visible">True</property>
638 <property name="can_focus">True</property>
639 <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
640 <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
641 <property name="shadow_type">GTK_SHADOW_NONE</property>
642 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
643
644 <child>
645 <widget class="GtkTextView" id="textview2">
646 <property name="visible">True</property>
647 <property name="can_focus">True</property>
648 <property name="editable">True</property>
649 <property name="overwrite">False</property>
650 <property name="accepts_tab">True</property>
651 <property name="justification">GTK_JUSTIFY_LEFT</property>
652 <property name="wrap_mode">GTK_WRAP_NONE</property>
653 <property name="cursor_visible">True</property>
654 <property name="pixels_above_lines">0</property>
655 <property name="pixels_below_lines">0</property>
656 <property name="pixels_inside_wrap">0</property>
657 <property name="left_margin">0</property>
658 <property name="right_margin">0</property>
659 <property name="indent">0</property>
660 <property name="text" translatable="yes">debugtext</property>
661 </widget>
662 </child>
663 </widget>
664 <packing>
665 <property name="tab_expand">False</property>
666 <property name="tab_fill">True</property>
667 </packing>
668 </child>
669
670 <child>
671 <widget class="GtkLabel" id="debugtab">
672 <property name="visible">True</property>
673 <property name="label" translatable="yes">Debug</property>
674 <property name="use_underline">False</property>
675 <property name="use_markup">False</property>
676 <property name="justify">GTK_JUSTIFY_LEFT</property>
677 <property name="wrap">False</property>
678 <property name="selectable">False</property>
679 <property name="xalign">0.5</property>
680 <property name="yalign">0.5</property>
681 <property name="xpad">0</property>
682 <property name="ypad">0</property>
683 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
684 <property name="width_chars">-1</property>
685 <property name="single_line_mode">False</property>
686 <property name="angle">0</property>
687 </widget>
688 <packing>
689 <property name="type">tab</property>
690 </packing>
691 </child>
692 </widget>
693 <packing>
694 <property name="shrink">True</property>
695 <property name="resize">True</property>
696 </packing>
697 </child>
698 </widget>
699 <packing>
700 <property name="padding">0</property>
701 <property name="expand">True</property>
702 <property name="fill">True</property>
703 </packing>
704 </child>
705 </widget>
706 <packing>
707 <property name="shrink">True</property>
708 <property name="resize">True</property>
709 </packing>
710 </child>
711 </widget>
712 <packing>
713 <property name="padding">0</property>
714 <property name="expand">True</property>
715 <property name="fill">True</property>
716 </packing>
717 </child>
718 </widget>
719 </child>
720 </widget>
721
722 <widget class="GtkWindow" id="aboutwin">
723 <property name="visible">True</property>
724 <property name="title" translatable="yes">About ASCEND</property>
725 <property name="type">GTK_WINDOW_TOPLEVEL</property>
726 <property name="window_position">GTK_WIN_POS_NONE</property>
727 <property name="modal">False</property>
728 <property name="resizable">True</property>
729 <property name="destroy_with_parent">False</property>
730 <property name="decorated">True</property>
731 <property name="skip_taskbar_hint">False</property>
732 <property name="skip_pager_hint">False</property>
733 <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
734 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
735 <property name="focus_on_map">True</property>
736 <signal name="delete_event" handler="on_aboutwin_delete_event" last_modification_time="Sun, 13 Nov 2005 09:24:23 GMT"/>
737
738 <child>
739 <widget class="GtkVBox" id="vbox3">
740 <property name="visible">True</property>
741 <property name="homogeneous">False</property>
742 <property name="spacing">0</property>
743
744 <child>
745 <widget class="GtkLabel" id="label7">
746 <property name="visible">True</property>
747 <property name="label" translatable="yes">&lt;b&gt;About ASCEND&lt;/b&gt;
748
749 ASCEND is a simulation and modelling environment for Linux, Windows and other platforms. Its original intent is for the solution of chemical process modelling problems, but its solver capabilities are general and it can be used for a wide variety of problems.
750
751 ASCEND is licensed under the General Public License. For more information, see http://ascend.cheme.cmu.edu/
752
753 ASCEND was created by Art Westerberg, Ben Allan, Tom Epperly, Kirk Abbott, and many others.</property>
754 <property name="use_underline">False</property>
755 <property name="use_markup">True</property>
756 <property name="justify">GTK_JUSTIFY_LEFT</property>
757 <property name="wrap">True</property>
758 <property name="selectable">False</property>
759 <property name="xalign">0.5</property>
760 <property name="yalign">0.5</property>
761 <property name="xpad">0</property>
762 <property name="ypad">5</property>
763 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
764 <property name="width_chars">-1</property>
765 <property name="single_line_mode">False</property>
766 <property name="angle">0</property>
767 </widget>
768 <packing>
769 <property name="padding">0</property>
770 <property name="expand">False</property>
771 <property name="fill">False</property>
772 </packing>
773 </child>
774
775 <child>
776 <widget class="GtkHBox" id="hbox2">
777 <property name="visible">True</property>
778 <property name="homogeneous">False</property>
779 <property name="spacing">0</property>
780
781 <child>
782 <widget class="GtkButton" id="close">
783 <property name="visible">True</property>
784 <property name="can_focus">True</property>
785 <property name="label">gtk-close</property>
786 <property name="use_stock">True</property>
787 <property name="relief">GTK_RELIEF_NORMAL</property>
788 <property name="focus_on_click">True</property>
789 <signal name="clicked" handler="on_close_clicked" last_modification_time="Sun, 13 Nov 2005 09:27:09 GMT"/>
790 </widget>
791 <packing>
792 <property name="padding">10</property>
793 <property name="expand">False</property>
794 <property name="fill">True</property>
795 <property name="pack_type">GTK_PACK_END</property>
796 </packing>
797 </child>
798
799 <child>
800 <placeholder/>
801 </child>
802
803 <child>
804 <placeholder/>
805 </child>
806 </widget>
807 <packing>
808 <property name="padding">0</property>
809 <property name="expand">False</property>
810 <property name="fill">True</property>
811 <property name="pack_type">GTK_PACK_END</property>
812 </packing>
813 </child>
814 </widget>
815 </child>
816 </widget>
817
818 <widget class="GtkWindow" id="errorwin">
819 <property name="visible">True</property>
820 <property name="title" translatable="yes">Errors and Warnings</property>
821 <property name="type">GTK_WINDOW_TOPLEVEL</property>
822 <property name="window_position">GTK_WIN_POS_NONE</property>
823 <property name="modal">False</property>
824 <property name="default_width">600</property>
825 <property name="default_height">480</property>
826 <property name="resizable">True</property>
827 <property name="destroy_with_parent">False</property>
828 <property name="decorated">True</property>
829 <property name="skip_taskbar_hint">False</property>
830 <property name="skip_pager_hint">False</property>
831 <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
832 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
833 <property name="focus_on_map">True</property>
834 <signal name="delete_event" handler="on_errorwin_delete_event" last_modification_time="Sun, 13 Nov 2005 10:07:44 GMT"/>
835
836 <child>
837 <widget class="GtkVBox" id="vbox4">
838 <property name="visible">True</property>
839 <property name="homogeneous">False</property>
840 <property name="spacing">0</property>
841
842 <child>
843 <widget class="GtkToolbar" id="toolbar2">
844 <property name="visible">True</property>
845 <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
846 <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
847 <property name="tooltips">True</property>
848 <property name="show_arrow">True</property>
849
850 <child>
851 <widget class="GtkToolButton" id="toolbutton7">
852 <property name="visible">True</property>
853 <property name="stock_id">gtk-copy</property>
854 <property name="visible_horizontal">True</property>
855 <property name="visible_vertical">True</property>
856 <property name="is_important">False</property>
857 </widget>
858 <packing>
859 <property name="expand">False</property>
860 <property name="homogeneous">True</property>
861 </packing>
862 </child>
863
864 <child>
865 <widget class="GtkToolButton" id="toolbutton8">
866 <property name="visible">True</property>
867 <property name="stock_id">gtk-clear</property>
868 <property name="visible_horizontal">True</property>
869 <property name="visible_vertical">True</property>
870 <property name="is_important">False</property>
871 </widget>
872 <packing>
873 <property name="expand">False</property>
874 <property name="homogeneous">True</property>
875 </packing>
876 </child>
877 </widget>
878 <packing>
879 <property name="padding">0</property>
880 <property name="expand">False</property>
881 <property name="fill">False</property>
882 </packing>
883 </child>
884
885 <child>
886 <widget class="GtkScrolledWindow" id="scrolledwindow7">
887 <property name="visible">True</property>
888 <property name="can_focus">True</property>
889 <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
890 <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
891 <property name="shadow_type">GTK_SHADOW_IN</property>
892 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
893
894 <child>
895 <widget class="GtkTreeView" id="errview">
896 <property name="visible">True</property>
897 <property name="can_focus">True</property>
898 <property name="headers_visible">True</property>
899 <property name="rules_hint">False</property>
900 <property name="reorderable">False</property>
901 <property name="enable_search">True</property>
902 <property name="fixed_height_mode">False</property>
903 <property name="hover_selection">False</property>
904 <property name="hover_expand">False</property>
905 </widget>
906 </child>
907 </widget>
908 <packing>
909 <property name="padding">0</property>
910 <property name="expand">True</property>
911 <property name="fill">True</property>
912 </packing>
913 </child>
914 </widget>
915 </child>
916 </widget>
917
918 <widget class="GtkMenu" id="menu8">
919
920 <child>
921 <widget class="GtkImageMenuItem" id="copy2">
922 <property name="visible">True</property>
923 <property name="label" translatable="yes">Copy</property>
924 <property name="use_underline">True</property>
925 <signal name="activate" handler="on_copy2_activate" last_modification_time="Sun, 13 Nov 2005 07:45:55 GMT"/>
926
927 <child internal-child="image">
928 <widget class="GtkImage" id="image6">
929 <property name="visible">True</property>
930 <property name="stock">gtk-copy</property>
931 <property name="icon_size">1</property>
932 <property name="xalign">0.5</property>
933 <property name="yalign">0.5</property>
934 <property name="xpad">0</property>
935 <property name="ypad">0</property>
936 </widget>
937 </child>
938 </widget>
939 </child>
940
941 <child>
942 <widget class="GtkImageMenuItem" id="clear_all1">
943 <property name="visible">True</property>
944 <property name="label" translatable="yes">Clear all</property>
945 <property name="use_underline">True</property>
946 <signal name="activate" handler="on_clear_all1_activate" last_modification_time="Sun, 13 Nov 2005 07:45:55 GMT"/>
947
948 <child internal-child="image">
949 <widget class="GtkImage" id="image7">
950 <property name="visible">True</property>
951 <property name="stock">gtk-clear</property>
952 <property name="icon_size">1</property>
953 <property name="xalign">0.5</property>
954 <property name="yalign">0.5</property>
955 <property name="xpad">0</property>
956 <property name="ypad">0</property>
957 </widget>
958 </child>
959 </widget>
960 </child>
961 </widget>
962
963 <widget class="GtkWindow" id="browserwin">
964 <property name="visible">True</property>
965 <property name="title" translatable="yes">ASCEND PyGTK</property>
966 <property name="type">GTK_WINDOW_TOPLEVEL</property>
967 <property name="window_position">GTK_WIN_POS_NONE</property>
968 <property name="modal">False</property>
969 <property name="default_width">600</property>
970 <property name="default_height">768</property>
971 <property name="resizable">True</property>
972 <property name="destroy_with_parent">False</property>
973 <property name="icon_name">stock_fontwork</property>
974 <property name="decorated">True</property>
975 <property name="skip_taskbar_hint">False</property>
976 <property name="skip_pager_hint">False</property>
977 <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
978 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
979 <property name="focus_on_map">True</property>
980 <signal name="check_resize" handler="on_browserwin_check_resize" last_modification_time="Thu, 17 Nov 2005 15:56:29 GMT"/>
981 <signal name="focus" handler="on_browserwin_focus" last_modification_time="Sun, 04 Dec 2005 05:39:42 GMT"/>
982
983 <child>
984 <widget class="GtkVBox" id="vbox5">
985 <property name="visible">True</property>
986 <property name="homogeneous">False</property>
987 <property name="spacing">0</property>
988
989 <child>
990 <widget class="GtkMenuBar" id="browsermenu">
991 <property name="visible">True</property>
992
993 <child>
994 <widget class="GtkMenuItem" id="menuitem8">
995 <property name="visible">True</property>
996 <property name="label" translatable="yes">_File</property>
997 <property name="use_underline">True</property>
998
999 <child>
1000 <widget class="GtkMenu" id="menuitem8_menu">
1001
1002 <child>
1003 <widget class="GtkImageMenuItem" id="open2">
1004 <property name="visible">True</property>
1005 <property name="label">gtk-open</property>
1006 <property name="use_stock">True</property>
1007 <signal name="activate" handler="open_click" last_modification_time="Tue, 24 Jan 2006 02:52:29 GMT"/>
1008 </widget>
1009 </child>
1010
1011 <child>
1012 <widget class="GtkImageMenuItem" id="reload">
1013 <property name="visible">True</property>
1014 <property name="label" translatable="yes">_Reload</property>
1015 <property name="use_underline">True</property>
1016 <signal name="activate" handler="reload_click" last_modification_time="Tue, 24 Jan 2006 02:52:29 GMT"/>
1017
1018 <child internal-child="image">
1019 <widget class="GtkImage" id="image32">
1020 <property name="visible">True</property>
1021 <property name="stock">gtk-refresh</property>
1022 <property name="icon_size">1</property>
1023 <property name="xalign">0.5</property>
1024 <property name="yalign">0.5</property>
1025 <property name="xpad">0</property>
1026 <property name="ypad">0</property>
1027 </widget>
1028 </child>
1029 </widget>
1030 </child>
1031
1032 <child>
1033 <widget class="GtkSeparatorMenuItem" id="separatormenuitem2">
1034 <property name="visible">True</property>
1035 </widget>
1036 </child>
1037
1038 <child>
1039 <widget class="GtkImageMenuItem" id="quit2">
1040 <property name="visible">True</property>
1041 <property name="label">gtk-quit</property>
1042 <property name="use_stock">True</property>
1043 <signal name="activate" handler="on_quit2_activate" last_modification_time="Tue, 24 Jan 2006 02:39:15 GMT"/>
1044 </widget>
1045 </child>
1046 </widget>
1047 </child>
1048 </widget>
1049 </child>
1050
1051 <child>
1052 <widget class="GtkMenuItem" id="simulation">
1053 <property name="visible">True</property>
1054 <property name="label" translatable="yes">_Tools</property>
1055 <property name="use_underline">True</property>
1056
1057 <child>
1058 <widget class="GtkMenu" id="simulation_menu">
1059
1060 <child>
1061 <widget class="GtkImageMenuItem" id="solve1">
1062 <property name="visible">True</property>
1063 <property name="label" translatable="yes">Sol_ve</property>
1064 <property name="use_underline">True</property>
1065 <signal name="activate" handler="solve_click" last_modification_time="Tue, 24 Jan 2006 02:52:29 GMT"/>
1066
1067 <child internal-child="image">
1068 <widget class="GtkImage" id="image33">
1069 <property name="visible">True</property>
1070 <property name="stock">gtk-media-forward</property>
1071 <property name="icon_size">1</property>
1072 <property name="xalign">0.5</property>
1073 <property name="yalign">0.5</property>
1074 <property name="xpad">0</property>
1075 <property name="ypad">0</property>
1076 </widget>
1077 </child>
1078 </widget>
1079 </child>
1080
1081 <child>
1082 <widget class="GtkImageMenuItem" id="check1">
1083 <property name="visible">True</property>
1084 <property name="label" translatable="yes">_Check</property>
1085 <property name="use_underline">True</property>
1086 <signal name="activate" handler="check_click" last_modification_time="Tue, 24 Jan 2006 02:52:29 GMT"/>
1087
1088 <child internal-child="image">
1089 <widget class="GtkImage" id="image34">
1090 <property name="visible">True</property>
1091 <property name="stock">gtk-spell-check</property>
1092 <property name="icon_size">1</property>
1093 <property name="xalign">0.5</property>
1094 <property name="yalign">0.5</property>
1095 <property name="xpad">0</property>
1096 <property name="ypad">0</property>
1097 </widget>
1098 </child>
1099 </widget>
1100 </child>
1101
1102 <child>
1103 <widget class="GtkSeparatorMenuItem" id="separator3">
1104 <property name="visible">True</property>
1105 </widget>
1106 </child>
1107
1108 <child>
1109 <widget class="GtkCheckMenuItem" id="auto1">
1110 <property name="visible">True</property>
1111 <property name="tooltip" translatable="yes">Solve automatically after values change</property>
1112 <property name="label" translatable="yes">_Auto</property>
1113 <property name="use_underline">True</property>
1114 <property name="active">True</property>
1115 <signal name="activate" handler="on_auto1_activate" last_modification_time="Tue, 24 Jan 2006 02:49:31 GMT"/>
1116 </widget>
1117 </child>
1118
1119 <child>
1120 <widget class="GtkImageMenuItem" id="preferences">
1121 <property name="visible">True</property>
1122 <property name="label" translatable="yes">_Preferences</property>
1123 <property name="use_underline">True</property>
1124 <signal name="activate" handler="preferences_click" last_modification_time="Tue, 24 Jan 2006 02:52:29 GMT"/>
1125
1126 <child internal-child="image">
1127 <widget class="GtkImage" id="image35">
1128 <property name="visible">True</property>
1129 <property name="stock">gtk-preferences</property>
1130 <property name="icon_size">1</property>
1131 <property name="xalign">0.5</property>
1132 <property name="yalign">0.5</property>
1133 <property name="xpad">0</property>
1134 <property name="ypad">0</property>
1135 </widget>
1136 </child>
1137 </widget>
1138 </child>
1139 </widget>
1140 </child>
1141 </widget>
1142 </child>
1143 </widget>
1144 <packing>
1145 <property name="padding">0</property>
1146 <property name="expand">False</property>
1147 <property name="fill">False</property>
1148 </packing>
1149 </child>
1150
1151 <child>
1152 <widget class="GtkToolbar" id="toolbar3">
1153 <property name="visible">True</property>
1154 <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
1155 <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
1156 <property name="tooltips">True</property>
1157 <property name="show_arrow">True</property>
1158
1159 <child>
1160 <widget class="GtkToolButton" id="openbutton">
1161 <property name="visible">True</property>
1162 <property name="stock_id">gtk-open</property>
1163 <property name="visible_horizontal">True</property>
1164 <property name="visible_vertical">True</property>
1165 <property name="is_important">False</property>
1166 <signal name="clicked" handler="on_openbutton_clicked" last_modification_time="Sun, 04 Dec 2005 05:48:03 GMT"/>
1167 </widget>
1168 <packing>
1169 <property name="expand">False</property>
1170 <property name="homogeneous">True</property>
1171 </packing>
1172 </child>
1173
1174 <child>
1175 <widget class="GtkToolButton" id="reloadbutton">
1176 <property name="visible">True</property>
1177 <property name="label" translatable="yes">Re_load</property>
1178 <property name="use_underline">True</property>
1179 <property name="stock_id">gtk-refresh</property>
1180 <property name="visible_horizontal">True</property>
1181 <property name="visible_vertical">True</property>
1182 <property name="is_important">False</property>
1183 <signal name="clicked" handler="on_toolbutton11_clicked" last_modification_time="Sun, 04 Dec 2005 05:38:03 GMT"/>
1184 </widget>
1185 <packing>
1186 <property name="expand">False</property>
1187 <property name="homogeneous">True</property>
1188 </packing>
1189 </child>
1190
1191 <child>
1192 <widget class="GtkSeparatorToolItem" id="separatortoolitem4">
1193 <property name="visible">True</property>
1194 <property name="draw">True</property>
1195 <property name="visible_horizontal">True</property>
1196 <property name="visible_vertical">True</property>
1197 </widget>
1198 <packing>
1199 <property name="expand">False</property>
1200 <property name="homogeneous">False</property>
1201 </packing>
1202 </child>
1203
1204 <child>
1205 <widget class="GtkToolButton" id="solvebutton">
1206 <property name="visible">True</property>
1207 <property name="label" translatable="yes">_Solve</property>
1208 <property name="use_underline">True</property>
1209 <property name="stock_id">gtk-media-play</property>
1210 <property name="visible_horizontal">True</property>
1211 <property name="visible_vertical">True</property>
1212 <property name="is_important">False</property>
1213 <signal name="clicked" handler="on_solvebutton_clicked" last_modification_time="Thu, 17 Nov 2005 08:17:30 GMT"/>
1214 </widget>
1215 <packing>
1216 <property name="expand">False</property>
1217 <property name="homogeneous">True</property>
1218 </packing>
1219 </child>
1220
1221 <child>
1222 <widget class="GtkToolButton" id="checkbutton">
1223 <property name="visible">True</property>
1224 <property name="label" translatable="yes">_Check</property>
1225 <property name="use_underline">True</property>
1226 <property name="stock_id">gtk-spell-check</property>
1227 <property name="visible_horizontal">True</property>
1228 <property name="visible_vertical">True</property>
1229 <property name="is_important">False</property>
1230 <signal name="clicked" handler="on_checkbutton_clicked" last_modification_time="Thu, 17 Nov 2005 08:17:40 GMT"/>
1231 </widget>
1232 <packing>
1233 <property name="expand">False</property>
1234 <property name="homogeneous">True</property>
1235 </packing>
1236 </child>
1237
1238 <child>
1239 <widget class="GtkSeparatorToolItem" id="separatortoolitem5">
1240 <property name="visible">True</property>
1241 <property name="draw">True</property>
1242 <property name="visible_horizontal">True</property>
1243 <property name="visible_vertical">True</property>
1244 </widget>
1245 <packing>
1246 <property name="expand">False</property>
1247 <property name="homogeneous">False</property>
1248 </packing>
1249 </child>
1250
1251 <child>
1252 <widget class="GtkToggleToolButton" id="autotoggle">
1253 <property name="visible">True</property>
1254 <property name="label" translatable="yes">_Auto</property>
1255 <property name="use_underline">True</property>
1256 <property name="stock_id">gtk-execute</property>
1257 <property name="visible_horizontal">True</property>
1258 <property name="visible_vertical">True</property>
1259 <property name="is_important">False</property>
1260 <property name="active">True</property>
1261 <signal name="toggled" handler="on_toggletoolbutton1_toggled" last_modification_time="Thu, 17 Nov 2005 09:12:04 GMT"/>
1262 </widget>
1263 <packing>
1264 <property name="expand">False</property>
1265 <property name="homogeneous">True</property>
1266 </packing>
1267 </child>
1268
1269 <child>
1270 <widget class="GtkSeparatorToolItem" id="separatortoolitem3">
1271 <property name="visible">True</property>
1272 <property name="draw">True</property>
1273 <property name="visible_horizontal">True</property>
1274 <property name="visible_vertical">True</property>
1275 </widget>
1276 <packing>
1277 <property name="expand">False</property>
1278 <property name="homogeneous">False</property>
1279 </packing>
1280 </child>
1281
1282 <child>
1283 <widget class="GtkToolItem" id="toolitem3">
1284 <property name="visible">True</property>
1285 <property name="visible_horizontal">True</property>
1286 <property name="visible_vertical">True</property>
1287 <property name="is_important">False</property>
1288
1289 <child>
1290 <widget class="GtkFrame" id="frame1">
1291 <property name="visible">True</property>
1292 <property name="label_xalign">0</property>
1293 <property name="label_yalign">0.5</property>
1294 <property name="shadow_type">GTK_SHADOW_NONE</property>
1295
1296 <child>
1297 <widget class="GtkAlignment" id="alignment1">
1298 <property name="visible">True</property>
1299 <property name="xalign">0.5</property>
1300 <property name="yalign">0.5</property>
1301 <property name="xscale">1</property>
1302 <property name="yscale">1</property>
1303 <property name="top_padding">0</property>
1304 <property name="bottom_padding">0</property>
1305 <property name="left_padding">0</property>
1306 <property name="right_padding">0</property>
1307
1308 <child>
1309 <widget class="GtkHBox" id="hbox3">
1310 <property name="visible">True</property>
1311 <property name="homogeneous">False</property>
1312 <property name="spacing">0</property>
1313
1314 <child>
1315 <widget class="GtkComboBox" id="methodsel">
1316 <property name="visible">True</property>
1317 <property name="add_tearoffs">False</property>
1318 <property name="focus_on_click">True</property>
1319 </widget>
1320 <packing>
1321 <property name="padding">0</property>
1322 <property name="expand">True</property>
1323 <property name="fill">True</property>
1324 </packing>
1325 </child>
1326
1327 <child>
1328 <widget class="GtkButton" id="methodrunbutton">
1329 <property name="visible">True</property>
1330 <property name="can_focus">True</property>
1331 <property name="label" translatable="yes">_Run</property>
1332 <property name="use_underline">True</property>
1333 <property name="relief">GTK_RELIEF_NORMAL</property>
1334 <property name="focus_on_click">True</property>
1335 </widget>
1336 <packing>
1337 <property name="padding">4</property>
1338 <property name="expand">False</property>
1339 <property name="fill">False</property>
1340 </packing>
1341 </child>
1342 </widget>
1343 </child>
1344 </widget>
1345 </child>
1346
1347 <child>
1348 <widget class="GtkLabel" id="label8">
1349 <property name="visible">True</property>
1350 <property name="label" translatable="yes">Methods</property>
1351 <property name="use_underline">False</property>
1352 <property name="use_markup">True</property>
1353 <property name="justify">GTK_JUSTIFY_LEFT</property>
1354 <property name="wrap">False</property>
1355 <property name="selectable">False</property>
1356 <property name="xalign">0.5</property>
1357 <property name="yalign">0.5</property>
1358 <property name="xpad">0</property>
1359 <property name="ypad">3</property>
1360 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1361 <property name="width_chars">-1</property>
1362 <property name="single_line_mode">False</property>
1363 <property name="angle">0</property>
1364 </widget>
1365 <packing>
1366 <property name="type">label_item</property>
1367 </packing>
1368 </child>
1369 </widget>
1370 </child>
1371 </widget>
1372 <packing>
1373 <property name="expand">False</property>
1374 <property name="homogeneous">False</property>
1375 </packing>
1376 </child>
1377 </widget>
1378 <packing>
1379 <property name="padding">0</property>
1380 <property name="expand">False</property>
1381 <property name="fill">False</property>
1382 </packing>
1383 </child>
1384
1385 <child>
1386 <widget class="GtkVPaned" id="browserpaned">
1387 <property name="height_request">320</property>
1388 <property name="visible">True</property>
1389 <property name="can_focus">True</property>
1390 <property name="position">421</property>
1391
1392 <child>
1393 <widget class="GtkScrolledWindow" id="scrolledwindow11">
1394 <property name="height_request">400</property>
1395 <property name="visible">True</property>
1396 <property name="can_focus">True</property>
1397 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1398 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1399 <property name="shadow_type">GTK_SHADOW_NONE</property>
1400 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1401
1402 <child>
1403 <widget class="GtkViewport" id="viewport2">
1404 <property name="visible">True</property>
1405 <property name="shadow_type">GTK_SHADOW_IN</property>
1406
1407 <child>
1408 <widget class="GtkNotebook" id="maintabs">
1409 <property name="visible">True</property>
1410 <property name="can_focus">True</property>
1411 <property name="show_tabs">True</property>
1412 <property name="show_border">True</property>
1413 <property name="tab_pos">GTK_POS_TOP</property>
1414 <property name="scrollable">False</property>
1415 <property name="enable_popup">False</property>
1416
1417 <child>
1418 <widget class="GtkScrolledWindow" id="scrolledwindow12">
1419 <property name="visible">True</property>
1420 <property name="can_focus">True</property>
1421 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1422 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1423 <property name="shadow_type">GTK_SHADOW_NONE</property>
1424 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1425
1426 <child>
1427 <widget class="GtkTreeView" id="moduleview">
1428 <property name="visible">True</property>
1429 <property name="can_focus">True</property>
1430 <property name="headers_visible">True</property>
1431 <property name="rules_hint">False</property>
1432 <property name="reorderable">False</property>
1433 <property name="enable_search">True</property>
1434 <property name="fixed_height_mode">False</property>
1435 <property name="hover_selection">False</property>
1436 <property name="hover_expand">False</property>
1437 <signal name="row_activated" handler="on_moduleview_row_activated" last_modification_time="Sun, 04 Dec 2005 13:02:19 GMT"/>
1438 </widget>
1439 </child>
1440 </widget>
1441 <packing>
1442 <property name="tab_expand">False</property>
1443 <property name="tab_fill">True</property>
1444 </packing>
1445 </child>
1446
1447 <child>
1448 <widget class="GtkLabel" id="moduletab">
1449 <property name="visible">True</property>
1450 <property name="label" translatable="yes">Modules</property>
1451 <property name="use_underline">False</property>
1452 <property name="use_markup">False</property>
1453 <property name="justify">GTK_JUSTIFY_LEFT</property>
1454 <property name="wrap">False</property>
1455 <property name="selectable">False</property>
1456 <property name="xalign">0.5</property>
1457 <property name="yalign">0.5</property>
1458 <property name="xpad">0</property>
1459 <property name="ypad">0</property>
1460 <property name="mnemonic_widget">moduleview</property>
1461 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1462 <property name="width_chars">-1</property>
1463 <property name="single_line_mode">False</property>
1464 <property name="angle">0</property>
1465 </widget>
1466 <packing>
1467 <property name="type">tab</property>
1468 </packing>
1469 </child>
1470
1471 <child>
1472 <widget class="GtkScrolledWindow" id="scrolledwindow13">
1473 <property name="visible">True</property>
1474 <property name="can_focus">True</property>
1475 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1476 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1477 <property name="shadow_type">GTK_SHADOW_NONE</property>
1478 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1479
1480 <child>
1481 <widget class="GtkTreeView" id="browserview">
1482 <property name="visible">True</property>
1483 <property name="can_focus">True</property>
1484 <property name="has_focus">True</property>
1485 <property name="headers_visible">True</property>
1486 <property name="rules_hint">False</property>
1487 <property name="reorderable">False</property>
1488 <property name="enable_search">True</property>
1489 <property name="fixed_height_mode">False</property>
1490 <property name="hover_selection">False</property>
1491 <property name="hover_expand">False</property>
1492 <signal name="key_press_event" handler="on_browserview_key_press_event" last_modification_time="Thu, 17 Nov 2005 15:57:18 GMT"/>
1493 </widget>
1494 </child>
1495 </widget>
1496 <packing>
1497 <property name="tab_expand">False</property>
1498 <property name="tab_fill">True</property>
1499 </packing>
1500 </child>
1501
1502 <child>
1503 <widget class="GtkLabel" id="label10">
1504 <property name="visible">True</property>
1505 <property name="label" translatable="yes">Simulation </property>
1506 <property name="use_underline">False</property>
1507 <property name="use_markup">False</property>
1508 <property name="justify">GTK_JUSTIFY_LEFT</property>
1509 <property name="wrap">False</property>
1510 <property name="selectable">False</property>
1511 <property name="xalign">0.5</property>
1512 <property name="yalign">0.5</property>
1513 <property name="xpad">0</property>
1514 <property name="ypad">0</property>
1515 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1516 <property name="width_chars">-1</property>
1517 <property name="single_line_mode">False</property>
1518 <property name="angle">0</property>
1519 </widget>
1520 <packing>
1521 <property name="type">tab</property>
1522 </packing>
1523 </child>
1524 </widget>
1525 </child>
1526 </widget>
1527 </child>
1528 </widget>
1529 <packing>
1530 <property name="shrink">True</property>
1531 <property name="resize">False</property>
1532 </packing>
1533 </child>
1534
1535 <child>
1536 <widget class="GtkNotebook" id="notebook4">
1537 <property name="visible">True</property>
1538 <property name="can_focus">True</property>
1539 <property name="show_tabs">True</property>
1540 <property name="show_border">True</property>
1541 <property name="tab_pos">GTK_POS_TOP</property>
1542 <property name="scrollable">False</property>
1543 <property name="enable_popup">False</property>
1544
1545 <child>
1546 <widget class="GtkScrolledWindow" id="scrolledwindow10">
1547 <property name="visible">True</property>
1548 <property name="can_focus">True</property>
1549 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1550 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1551 <property name="shadow_type">GTK_SHADOW_IN</property>
1552 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1553
1554 <child>
1555 <widget class="GtkTreeView" id="errorview">
1556 <property name="height_request">202</property>
1557 <property name="visible">True</property>
1558 <property name="can_focus">True</property>
1559 <property name="headers_visible">True</property>
1560 <property name="rules_hint">False</property>
1561 <property name="reorderable">False</property>
1562 <property name="enable_search">True</property>
1563 <property name="fixed_height_mode">False</property>
1564 <property name="hover_selection">False</property>
1565 <property name="hover_expand">False</property>
1566 </widget>
1567 </child>
1568 </widget>
1569 <packing>
1570 <property name="tab_expand">False</property>
1571 <property name="tab_fill">True</property>
1572 </packing>
1573 </child>
1574
1575 <child>
1576 <widget class="GtkLabel" id="errortab">
1577 <property name="visible">True</property>
1578 <property name="label" translatable="yes">Errors / Warnings</property>
1579 <property name="use_underline">False</property>
1580 <property name="use_markup">False</property>
1581 <property name="justify">GTK_JUSTIFY_LEFT</property>
1582 <property name="wrap">False</property>
1583 <property name="selectable">False</property>
1584 <property name="xalign">0.5</property>
1585 <property name="yalign">0.5</property>
1586 <property name="xpad">0</property>
1587 <property name="ypad">0</property>
1588 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1589 <property name="width_chars">-1</property>
1590 <property name="single_line_mode">False</property>
1591 <property name="angle">0</property>
1592 </widget>
1593 <packing>
1594 <property name="type">tab</property>
1595 </packing>
1596 </child>
1597 </widget>
1598 <packing>
1599 <property name="shrink">True</property>
1600 <property name="resize">True</property>
1601 </packing>
1602 </child>
1603 </widget>
1604 <packing>
1605 <property name="padding">0</property>
1606 <property name="expand">True</property>
1607 <property name="fill">True</property>
1608 </packing>
1609 </child>
1610
1611 <child>
1612 <widget class="GtkStatusbar" id="statusbar">
1613 <property name="visible">True</property>
1614 <property name="has_resize_grip">True</property>
1615 </widget>
1616 <packing>
1617 <property name="padding">0</property>
1618 <property name="expand">False</property>
1619 <property name="fill">False</property>
1620 </packing>
1621 </child>
1622 </widget>
1623 </child>
1624 </widget>
1625
1626 <widget class="GtkMenu" id="browsercontext">
1627
1628 <child>
1629 <widget class="GtkImageMenuItem" id="fix1">
1630 <property name="visible">True</property>
1631 <property name="tooltip" translatable="yes">Make this a 'fixed' variable\n in the simulation</property>
1632 <property name="label" translatable="yes">_Fix</property>
1633 <property name="use_underline">True</property>
1634 <signal name="activate" handler="on_fix1_activate" last_modification_time="Thu, 17 Nov 2005 12:34:26 GMT"/>
1635 <accelerator key="f" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1636
1637 <child internal-child="image">
1638 <widget class="GtkImage" id="image11">
1639 <property name="visible">True</property>
1640 <property name="stock">gtk-yes</property>
1641 <property name="icon_size">1</property>
1642 <property name="xalign">0.5</property>
1643 <property name="yalign">0.5</property>
1644 <property name="xpad">0</property>
1645 <property name="ypad">0</property>
1646 </widget>
1647 </child>
1648 </widget>
1649 </child>
1650
1651 <child>
1652 <widget class="GtkImageMenuItem" id="free1">
1653 <property name="visible">True</property>
1654 <property name="tooltip" translatable="yes">Allow this variable to be varied\nwhen solving the system</property>
1655 <property name="label" translatable="yes">F_ree</property>
1656 <property name="use_underline">True</property>
1657 <signal name="activate" handler="on_free1_activate" last_modification_time="Thu, 17 Nov 2005 12:34:26 GMT"/>
1658 <accelerator key="r" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1659
1660 <child internal-child="image">
1661 <widget class="GtkImage" id="image12">
1662 <property name="visible">True</property>
1663 <property name="stock">gtk-no</property>
1664 <property name="icon_size">1</property>
1665 <property name="xalign">0.5</property>
1666 <property name="yalign">0.5</property>
1667 <property name="xpad">0</property>
1668 <property name="ypad">0</property>
1669 </widget>
1670 </child>
1671 </widget>
1672 </child>
1673
1674 <child>
1675 <widget class="GtkSeparatorMenuItem" id="separator2">
1676 <property name="visible">True</property>
1677 </widget>
1678 </child>
1679
1680 <child>
1681 <widget class="GtkMenuItem" id="plot1">
1682 <property name="visible">True</property>
1683 <property name="label" translatable="yes">_Plot</property>
1684 <property name="use_underline">True</property>
1685 <signal name="activate" handler="on_plot1_activate" last_modification_time="Fri, 06 Jan 2006 09:36:45 GMT"/>
1686 <accelerator key="p" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1687 </widget>
1688 </child>
1689 </widget>
1690
1691 <widget class="GtkWindow" id="paramswin">
1692 <property name="visible">True</property>
1693 <property name="title" translatable="yes">Solver Parameters</property>
1694 <property name="type">GTK_WINDOW_TOPLEVEL</property>
1695 <property name="window_position">GTK_WIN_POS_NONE</property>
1696 <property name="modal">False</property>
1697 <property name="default_width">700</property>
1698 <property name="default_height">600</property>
1699 <property name="resizable">True</property>
1700 <property name="destroy_with_parent">False</property>
1701 <property name="icon_name">gtk-properties</property>
1702 <property name="decorated">True</property>
1703 <property name="skip_taskbar_hint">False</property>
1704 <property name="skip_pager_hint">False</property>
1705 <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
1706 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1707 <property name="focus_on_map">True</property>
1708 <signal name="destroy" handler="on_paramswin_destroy" last_modification_time="Fri, 27 Jan 2006 05:15:10 GMT"/>
1709
1710 <child>
1711 <widget class="GtkVBox" id="vbox6">
1712 <property name="visible">True</property>
1713 <property name="homogeneous">False</property>
1714 <property name="spacing">0</property>
1715
1716 <child>
1717 <widget class="GtkScrolledWindow" id="scrolledwindow14">
1718 <property name="visible">True</property>
1719 <property name="can_focus">True</property>
1720 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1721 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1722 <property name="shadow_type">GTK_SHADOW_IN</property>
1723 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1724
1725 <child>
1726 <widget class="GtkTreeView" id="paramsview">
1727 <property name="visible">True</property>
1728 <property name="can_focus">True</property>
1729 <property name="headers_visible">True</property>
1730 <property name="rules_hint">False</property>
1731 <property name="reorderable">False</property>
1732 <property name="enable_search">True</property>
1733 <property name="fixed_height_mode">False</property>
1734 <property name="hover_selection">False</property>
1735 <property name="hover_expand">False</property>
1736 <signal name="row_activated" handler="on_paramsview_row_activated" last_modification_time="Fri, 27 Jan 2006 05:56:55 GMT"/>
1737 <signal name="select_cursor_row" handler="on_paramsview_select_cursor_row" last_modification_time="Fri, 27 Jan 2006 07:21:36 GMT"/>
1738 </widget>
1739 </child>
1740 </widget>
1741 <packing>
1742 <property name="padding">7</property>
1743 <property name="expand">True</property>
1744 <property name="fill">True</property>
1745 </packing>
1746 </child>
1747
1748 <child>
1749 <widget class="GtkHBox" id="hbox5">
1750 <property name="visible">True</property>
1751 <property name="homogeneous">True</property>
1752 <property name="spacing">8</property>
1753
1754 <child>
1755 <widget class="GtkButton" id="paramsapply">
1756 <property name="visible">True</property>
1757 <property name="can_focus">True</property>
1758 <property name="label">gtk-apply</property>
1759 <property name="use_stock">True</property>
1760 <property name="relief">GTK_RELIEF_NORMAL</property>
1761 <property name="focus_on_click">True</property>
1762 <signal name="activate" handler="on_paramsapply_activate" last_modification_time="Fri, 27 Jan 2006 04:31:02 GMT"/>
1763 <signal name="clicked" handler="on_paramsapply_activate" last_modification_time="Fri, 27 Jan 2006 05:26:20 GMT"/>
1764 </widget>
1765 <packing>
1766 <property name="padding">0</property>
1767 <property name="expand">False</property>
1768 <property name="fill">False</property>
1769 <property name="pack_type">GTK_PACK_END</property>
1770 </packing>
1771 </child>
1772
1773 <child>
1774 <widget class="GtkButton" id="paramscancel">
1775 <property name="visible">True</property>
1776 <property name="can_focus">True</property>
1777 <property name="label">gtk-cancel</property>
1778 <property name="use_stock">True</property>
1779 <property name="relief">GTK_RELIEF_NORMAL</property>
1780 <property name="focus_on_click">True</property>
1781 <signal name="activate" handler="on_paramscancel_activate" last_modification_time="Fri, 27 Jan 2006 05:24:59 GMT"/>
1782 <signal name="clicked" handler="on_paramscancel_activate" last_modification_time="Fri, 27 Jan 2006 05:26:10 GMT"/>
1783 </widget>
1784 <packing>
1785 <property name="padding">0</property>
1786 <property name="expand">False</property>
1787 <property name="fill">False</property>
1788 <property name="pack_type">GTK_PACK_END</property>
1789 </packing>
1790 </child>
1791 </widget>
1792 <packing>
1793 <property name="padding">8</property>
1794 <property name="expand">False</property>
1795 <property name="fill">False</property>
1796 </packing>
1797 </child>
1798
1799 <child>
1800 <widget class="GtkHBox" id="hbox4">
1801 <property name="visible">True</property>
1802 <property name="homogeneous">False</property>
1803 <property name="spacing">8</property>
1804 </widget>
1805 <packing>
1806 <property name="padding">0</property>
1807 <property name="expand">False</property>
1808 <property name="fill">True</property>
1809 </packing>
1810 </child>
1811 </widget>
1812 </child>
1813 </widget>
1814
1815 </glade-interface>

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