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

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

Parent Directory Parent Directory | Revision Log Revision Log


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

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