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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 173 - (show annotations) (download)
Sat Jan 7 11:20:32 2006 UTC (14 years, 10 months ago) by johnpye
File size: 58762 byte(s)
PyGTK interface now remembers size of errors/warnings pane as well.
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="GtkToolbar" id="toolbar3">
991 <property name="visible">True</property>
992 <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
993 <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
994 <property name="tooltips">True</property>
995 <property name="show_arrow">True</property>
996
997 <child>
998 <widget class="GtkToolButton" id="openbutton">
999 <property name="visible">True</property>
1000 <property name="stock_id">gtk-open</property>
1001 <property name="visible_horizontal">True</property>
1002 <property name="visible_vertical">True</property>
1003 <property name="is_important">False</property>
1004 <signal name="clicked" handler="on_openbutton_clicked" last_modification_time="Sun, 04 Dec 2005 05:48:03 GMT"/>
1005 </widget>
1006 <packing>
1007 <property name="expand">False</property>
1008 <property name="homogeneous">True</property>
1009 </packing>
1010 </child>
1011
1012 <child>
1013 <widget class="GtkToolButton" id="reloadbutton">
1014 <property name="visible">True</property>
1015 <property name="label" translatable="yes">Re_load</property>
1016 <property name="use_underline">True</property>
1017 <property name="stock_id">gtk-refresh</property>
1018 <property name="visible_horizontal">True</property>
1019 <property name="visible_vertical">True</property>
1020 <property name="is_important">False</property>
1021 <signal name="clicked" handler="on_toolbutton11_clicked" last_modification_time="Sun, 04 Dec 2005 05:38:03 GMT"/>
1022 </widget>
1023 <packing>
1024 <property name="expand">False</property>
1025 <property name="homogeneous">True</property>
1026 </packing>
1027 </child>
1028
1029 <child>
1030 <widget class="GtkSeparatorToolItem" id="separatortoolitem4">
1031 <property name="visible">True</property>
1032 <property name="draw">True</property>
1033 <property name="visible_horizontal">True</property>
1034 <property name="visible_vertical">True</property>
1035 </widget>
1036 <packing>
1037 <property name="expand">False</property>
1038 <property name="homogeneous">False</property>
1039 </packing>
1040 </child>
1041
1042 <child>
1043 <widget class="GtkToolButton" id="solvebutton">
1044 <property name="visible">True</property>
1045 <property name="label" translatable="yes">_Solve</property>
1046 <property name="use_underline">True</property>
1047 <property name="stock_id">gtk-media-play</property>
1048 <property name="visible_horizontal">True</property>
1049 <property name="visible_vertical">True</property>
1050 <property name="is_important">False</property>
1051 <signal name="clicked" handler="on_solvebutton_clicked" last_modification_time="Thu, 17 Nov 2005 08:17:30 GMT"/>
1052 </widget>
1053 <packing>
1054 <property name="expand">False</property>
1055 <property name="homogeneous">True</property>
1056 </packing>
1057 </child>
1058
1059 <child>
1060 <widget class="GtkToolButton" id="checkbutton">
1061 <property name="visible">True</property>
1062 <property name="label" translatable="yes">_Check</property>
1063 <property name="use_underline">True</property>
1064 <property name="stock_id">gtk-spell-check</property>
1065 <property name="visible_horizontal">True</property>
1066 <property name="visible_vertical">True</property>
1067 <property name="is_important">False</property>
1068 <signal name="clicked" handler="on_checkbutton_clicked" last_modification_time="Thu, 17 Nov 2005 08:17:40 GMT"/>
1069 </widget>
1070 <packing>
1071 <property name="expand">False</property>
1072 <property name="homogeneous">True</property>
1073 </packing>
1074 </child>
1075
1076 <child>
1077 <widget class="GtkSeparatorToolItem" id="separatortoolitem5">
1078 <property name="visible">True</property>
1079 <property name="draw">True</property>
1080 <property name="visible_horizontal">True</property>
1081 <property name="visible_vertical">True</property>
1082 </widget>
1083 <packing>
1084 <property name="expand">False</property>
1085 <property name="homogeneous">False</property>
1086 </packing>
1087 </child>
1088
1089 <child>
1090 <widget class="GtkToggleToolButton" id="autotoggle">
1091 <property name="visible">True</property>
1092 <property name="label" translatable="yes">_Auto</property>
1093 <property name="use_underline">True</property>
1094 <property name="stock_id">gtk-execute</property>
1095 <property name="visible_horizontal">True</property>
1096 <property name="visible_vertical">True</property>
1097 <property name="is_important">False</property>
1098 <property name="active">True</property>
1099 <signal name="toggled" handler="on_toggletoolbutton1_toggled" last_modification_time="Thu, 17 Nov 2005 09:12:04 GMT"/>
1100 </widget>
1101 <packing>
1102 <property name="expand">False</property>
1103 <property name="homogeneous">True</property>
1104 </packing>
1105 </child>
1106
1107 <child>
1108 <widget class="GtkSeparatorToolItem" id="separatortoolitem3">
1109 <property name="visible">True</property>
1110 <property name="draw">True</property>
1111 <property name="visible_horizontal">True</property>
1112 <property name="visible_vertical">True</property>
1113 </widget>
1114 <packing>
1115 <property name="expand">False</property>
1116 <property name="homogeneous">False</property>
1117 </packing>
1118 </child>
1119
1120 <child>
1121 <widget class="GtkToolItem" id="toolitem3">
1122 <property name="visible">True</property>
1123 <property name="visible_horizontal">True</property>
1124 <property name="visible_vertical">True</property>
1125 <property name="is_important">False</property>
1126
1127 <child>
1128 <widget class="GtkFrame" id="frame1">
1129 <property name="visible">True</property>
1130 <property name="label_xalign">0</property>
1131 <property name="label_yalign">0.5</property>
1132 <property name="shadow_type">GTK_SHADOW_NONE</property>
1133
1134 <child>
1135 <widget class="GtkAlignment" id="alignment1">
1136 <property name="visible">True</property>
1137 <property name="xalign">0.5</property>
1138 <property name="yalign">0.5</property>
1139 <property name="xscale">1</property>
1140 <property name="yscale">1</property>
1141 <property name="top_padding">0</property>
1142 <property name="bottom_padding">0</property>
1143 <property name="left_padding">0</property>
1144 <property name="right_padding">0</property>
1145
1146 <child>
1147 <widget class="GtkHBox" id="hbox3">
1148 <property name="visible">True</property>
1149 <property name="homogeneous">False</property>
1150 <property name="spacing">0</property>
1151
1152 <child>
1153 <widget class="GtkComboBox" id="methodsel">
1154 <property name="visible">True</property>
1155 <property name="add_tearoffs">False</property>
1156 <property name="focus_on_click">True</property>
1157 </widget>
1158 <packing>
1159 <property name="padding">0</property>
1160 <property name="expand">True</property>
1161 <property name="fill">True</property>
1162 </packing>
1163 </child>
1164
1165 <child>
1166 <widget class="GtkButton" id="methodrunbutton">
1167 <property name="visible">True</property>
1168 <property name="can_focus">True</property>
1169 <property name="label" translatable="yes">_Run</property>
1170 <property name="use_underline">True</property>
1171 <property name="relief">GTK_RELIEF_NORMAL</property>
1172 <property name="focus_on_click">True</property>
1173 </widget>
1174 <packing>
1175 <property name="padding">4</property>
1176 <property name="expand">False</property>
1177 <property name="fill">False</property>
1178 </packing>
1179 </child>
1180 </widget>
1181 </child>
1182 </widget>
1183 </child>
1184
1185 <child>
1186 <widget class="GtkLabel" id="label8">
1187 <property name="visible">True</property>
1188 <property name="label" translatable="yes">Methods</property>
1189 <property name="use_underline">False</property>
1190 <property name="use_markup">True</property>
1191 <property name="justify">GTK_JUSTIFY_LEFT</property>
1192 <property name="wrap">False</property>
1193 <property name="selectable">False</property>
1194 <property name="xalign">0.5</property>
1195 <property name="yalign">0.5</property>
1196 <property name="xpad">0</property>
1197 <property name="ypad">3</property>
1198 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1199 <property name="width_chars">-1</property>
1200 <property name="single_line_mode">False</property>
1201 <property name="angle">0</property>
1202 </widget>
1203 <packing>
1204 <property name="type">label_item</property>
1205 </packing>
1206 </child>
1207 </widget>
1208 </child>
1209 </widget>
1210 <packing>
1211 <property name="expand">False</property>
1212 <property name="homogeneous">False</property>
1213 </packing>
1214 </child>
1215 </widget>
1216 <packing>
1217 <property name="padding">0</property>
1218 <property name="expand">False</property>
1219 <property name="fill">False</property>
1220 </packing>
1221 </child>
1222
1223 <child>
1224 <widget class="GtkVPaned" id="browserpaned">
1225 <property name="height_request">320</property>
1226 <property name="visible">True</property>
1227 <property name="can_focus">True</property>
1228 <property name="position">421</property>
1229
1230 <child>
1231 <widget class="GtkScrolledWindow" id="scrolledwindow11">
1232 <property name="height_request">400</property>
1233 <property name="visible">True</property>
1234 <property name="can_focus">True</property>
1235 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1236 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1237 <property name="shadow_type">GTK_SHADOW_NONE</property>
1238 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1239
1240 <child>
1241 <widget class="GtkViewport" id="viewport2">
1242 <property name="visible">True</property>
1243 <property name="shadow_type">GTK_SHADOW_IN</property>
1244
1245 <child>
1246 <widget class="GtkNotebook" id="maintabs">
1247 <property name="visible">True</property>
1248 <property name="can_focus">True</property>
1249 <property name="show_tabs">True</property>
1250 <property name="show_border">True</property>
1251 <property name="tab_pos">GTK_POS_TOP</property>
1252 <property name="scrollable">False</property>
1253 <property name="enable_popup">False</property>
1254
1255 <child>
1256 <widget class="GtkScrolledWindow" id="scrolledwindow12">
1257 <property name="visible">True</property>
1258 <property name="can_focus">True</property>
1259 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1260 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1261 <property name="shadow_type">GTK_SHADOW_NONE</property>
1262 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1263
1264 <child>
1265 <widget class="GtkTreeView" id="moduleview">
1266 <property name="visible">True</property>
1267 <property name="can_focus">True</property>
1268 <property name="headers_visible">True</property>
1269 <property name="rules_hint">False</property>
1270 <property name="reorderable">False</property>
1271 <property name="enable_search">True</property>
1272 <property name="fixed_height_mode">False</property>
1273 <property name="hover_selection">False</property>
1274 <property name="hover_expand">False</property>
1275 <signal name="row_activated" handler="on_moduleview_row_activated" last_modification_time="Sun, 04 Dec 2005 13:02:19 GMT"/>
1276 </widget>
1277 </child>
1278 </widget>
1279 <packing>
1280 <property name="tab_expand">False</property>
1281 <property name="tab_fill">True</property>
1282 </packing>
1283 </child>
1284
1285 <child>
1286 <widget class="GtkLabel" id="moduletab">
1287 <property name="visible">True</property>
1288 <property name="label" translatable="yes">Modules</property>
1289 <property name="use_underline">False</property>
1290 <property name="use_markup">False</property>
1291 <property name="justify">GTK_JUSTIFY_LEFT</property>
1292 <property name="wrap">False</property>
1293 <property name="selectable">False</property>
1294 <property name="xalign">0.5</property>
1295 <property name="yalign">0.5</property>
1296 <property name="xpad">0</property>
1297 <property name="ypad">0</property>
1298 <property name="mnemonic_widget">moduleview</property>
1299 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1300 <property name="width_chars">-1</property>
1301 <property name="single_line_mode">False</property>
1302 <property name="angle">0</property>
1303 </widget>
1304 <packing>
1305 <property name="type">tab</property>
1306 </packing>
1307 </child>
1308
1309 <child>
1310 <widget class="GtkScrolledWindow" id="scrolledwindow13">
1311 <property name="visible">True</property>
1312 <property name="can_focus">True</property>
1313 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1314 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1315 <property name="shadow_type">GTK_SHADOW_NONE</property>
1316 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1317
1318 <child>
1319 <widget class="GtkTreeView" id="browserview">
1320 <property name="visible">True</property>
1321 <property name="can_focus">True</property>
1322 <property name="has_focus">True</property>
1323 <property name="headers_visible">True</property>
1324 <property name="rules_hint">False</property>
1325 <property name="reorderable">False</property>
1326 <property name="enable_search">True</property>
1327 <property name="fixed_height_mode">False</property>
1328 <property name="hover_selection">False</property>
1329 <property name="hover_expand">False</property>
1330 <signal name="key_press_event" handler="on_browserview_key_press_event" last_modification_time="Thu, 17 Nov 2005 15:57:18 GMT"/>
1331 </widget>
1332 </child>
1333 </widget>
1334 <packing>
1335 <property name="tab_expand">False</property>
1336 <property name="tab_fill">True</property>
1337 </packing>
1338 </child>
1339
1340 <child>
1341 <widget class="GtkLabel" id="label10">
1342 <property name="visible">True</property>
1343 <property name="label" translatable="yes">Simulation </property>
1344 <property name="use_underline">False</property>
1345 <property name="use_markup">False</property>
1346 <property name="justify">GTK_JUSTIFY_LEFT</property>
1347 <property name="wrap">False</property>
1348 <property name="selectable">False</property>
1349 <property name="xalign">0.5</property>
1350 <property name="yalign">0.5</property>
1351 <property name="xpad">0</property>
1352 <property name="ypad">0</property>
1353 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1354 <property name="width_chars">-1</property>
1355 <property name="single_line_mode">False</property>
1356 <property name="angle">0</property>
1357 </widget>
1358 <packing>
1359 <property name="type">tab</property>
1360 </packing>
1361 </child>
1362 </widget>
1363 </child>
1364 </widget>
1365 </child>
1366 </widget>
1367 <packing>
1368 <property name="shrink">True</property>
1369 <property name="resize">False</property>
1370 </packing>
1371 </child>
1372
1373 <child>
1374 <widget class="GtkNotebook" id="notebook4">
1375 <property name="visible">True</property>
1376 <property name="can_focus">True</property>
1377 <property name="show_tabs">True</property>
1378 <property name="show_border">True</property>
1379 <property name="tab_pos">GTK_POS_TOP</property>
1380 <property name="scrollable">False</property>
1381 <property name="enable_popup">False</property>
1382
1383 <child>
1384 <widget class="GtkScrolledWindow" id="scrolledwindow10">
1385 <property name="visible">True</property>
1386 <property name="can_focus">True</property>
1387 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1388 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1389 <property name="shadow_type">GTK_SHADOW_IN</property>
1390 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1391
1392 <child>
1393 <widget class="GtkTreeView" id="errorview">
1394 <property name="height_request">202</property>
1395 <property name="visible">True</property>
1396 <property name="can_focus">True</property>
1397 <property name="headers_visible">True</property>
1398 <property name="rules_hint">False</property>
1399 <property name="reorderable">False</property>
1400 <property name="enable_search">True</property>
1401 <property name="fixed_height_mode">False</property>
1402 <property name="hover_selection">False</property>
1403 <property name="hover_expand">False</property>
1404 </widget>
1405 </child>
1406 </widget>
1407 <packing>
1408 <property name="tab_expand">False</property>
1409 <property name="tab_fill">True</property>
1410 </packing>
1411 </child>
1412
1413 <child>
1414 <widget class="GtkLabel" id="errortab">
1415 <property name="visible">True</property>
1416 <property name="label" translatable="yes">Errors / Warnings</property>
1417 <property name="use_underline">False</property>
1418 <property name="use_markup">False</property>
1419 <property name="justify">GTK_JUSTIFY_LEFT</property>
1420 <property name="wrap">False</property>
1421 <property name="selectable">False</property>
1422 <property name="xalign">0.5</property>
1423 <property name="yalign">0.5</property>
1424 <property name="xpad">0</property>
1425 <property name="ypad">0</property>
1426 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1427 <property name="width_chars">-1</property>
1428 <property name="single_line_mode">False</property>
1429 <property name="angle">0</property>
1430 </widget>
1431 <packing>
1432 <property name="type">tab</property>
1433 </packing>
1434 </child>
1435 </widget>
1436 <packing>
1437 <property name="shrink">True</property>
1438 <property name="resize">True</property>
1439 </packing>
1440 </child>
1441 </widget>
1442 <packing>
1443 <property name="padding">0</property>
1444 <property name="expand">True</property>
1445 <property name="fill">True</property>
1446 </packing>
1447 </child>
1448
1449 <child>
1450 <widget class="GtkStatusbar" id="statusbar">
1451 <property name="visible">True</property>
1452 <property name="has_resize_grip">True</property>
1453 </widget>
1454 <packing>
1455 <property name="padding">0</property>
1456 <property name="expand">False</property>
1457 <property name="fill">False</property>
1458 </packing>
1459 </child>
1460 </widget>
1461 </child>
1462 </widget>
1463
1464 <widget class="GtkMenu" id="browsercontext">
1465
1466 <child>
1467 <widget class="GtkImageMenuItem" id="fix1">
1468 <property name="visible">True</property>
1469 <property name="tooltip" translatable="yes">Make this a 'fixed' variable\n in the simulation</property>
1470 <property name="label" translatable="yes">_Fix</property>
1471 <property name="use_underline">True</property>
1472 <signal name="activate" handler="on_fix1_activate" last_modification_time="Thu, 17 Nov 2005 12:34:26 GMT"/>
1473 <accelerator key="f" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1474
1475 <child internal-child="image">
1476 <widget class="GtkImage" id="image11">
1477 <property name="visible">True</property>
1478 <property name="stock">gtk-yes</property>
1479 <property name="icon_size">1</property>
1480 <property name="xalign">0.5</property>
1481 <property name="yalign">0.5</property>
1482 <property name="xpad">0</property>
1483 <property name="ypad">0</property>
1484 </widget>
1485 </child>
1486 </widget>
1487 </child>
1488
1489 <child>
1490 <widget class="GtkImageMenuItem" id="free1">
1491 <property name="visible">True</property>
1492 <property name="tooltip" translatable="yes">Allow this variable to be varied\nwhen solving the system</property>
1493 <property name="label" translatable="yes">F_ree</property>
1494 <property name="use_underline">True</property>
1495 <signal name="activate" handler="on_free1_activate" last_modification_time="Thu, 17 Nov 2005 12:34:26 GMT"/>
1496 <accelerator key="r" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1497
1498 <child internal-child="image">
1499 <widget class="GtkImage" id="image12">
1500 <property name="visible">True</property>
1501 <property name="stock">gtk-no</property>
1502 <property name="icon_size">1</property>
1503 <property name="xalign">0.5</property>
1504 <property name="yalign">0.5</property>
1505 <property name="xpad">0</property>
1506 <property name="ypad">0</property>
1507 </widget>
1508 </child>
1509 </widget>
1510 </child>
1511
1512 <child>
1513 <widget class="GtkSeparatorMenuItem" id="separator2">
1514 <property name="visible">True</property>
1515 </widget>
1516 </child>
1517
1518 <child>
1519 <widget class="GtkMenuItem" id="plot1">
1520 <property name="visible">True</property>
1521 <property name="label" translatable="yes">_Plot</property>
1522 <property name="use_underline">True</property>
1523 <signal name="activate" handler="on_plot1_activate" last_modification_time="Fri, 06 Jan 2006 09:36:45 GMT"/>
1524 <accelerator key="p" modifiers="GDK_CONTROL_MASK" signal="activate"/>
1525 </widget>
1526 </child>
1527 </widget>
1528
1529 </glade-interface>

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