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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 268 - (show annotations) (download)
Sat Feb 4 06:09:57 2006 UTC (14 years, 9 months ago) by johnpye
File size: 85654 byte(s)
Adding ability to edit upper/lower bounds and nominal values
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_effects-object</property>
17 <property name="decorated">True</property>
18 <property name="skip_taskbar_hint">False</property>
19 <property name="skip_pager_hint">False</property>
20 <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
21 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
22 <property name="focus_on_map">True</property>
23 <signal name="check_resize" handler="on_browserwin_check_resize" last_modification_time="Thu, 17 Nov 2005 15:56:29 GMT"/>
24 <signal name="focus" handler="on_browserwin_focus" last_modification_time="Sun, 04 Dec 2005 05:39:42 GMT"/>
25
26 <child>
27 <widget class="GtkVBox" id="vbox5">
28 <property name="visible">True</property>
29 <property name="homogeneous">False</property>
30 <property name="spacing">0</property>
31
32 <child>
33 <widget class="GtkMenuBar" id="browsermenu">
34 <property name="visible">True</property>
35
36 <child>
37 <widget class="GtkMenuItem" id="menuitem8">
38 <property name="visible">True</property>
39 <property name="label" translatable="yes">_File</property>
40 <property name="use_underline">True</property>
41
42 <child>
43 <widget class="GtkMenu" id="menuitem8_menu">
44
45 <child>
46 <widget class="GtkImageMenuItem" id="open2">
47 <property name="visible">True</property>
48 <property name="label">gtk-open</property>
49 <property name="use_stock">True</property>
50 <signal name="activate" handler="open_click" last_modification_time="Tue, 24 Jan 2006 02:52:29 GMT"/>
51 </widget>
52 </child>
53
54 <child>
55 <widget class="GtkImageMenuItem" id="reload">
56 <property name="visible">True</property>
57 <property name="label" translatable="yes">_Reload</property>
58 <property name="use_underline">True</property>
59 <signal name="activate" handler="reload_click" last_modification_time="Tue, 24 Jan 2006 02:52:29 GMT"/>
60 <accelerator key="F5" modifiers="GDK_CONTROL_MASK" signal="activate"/>
61
62 <child internal-child="image">
63 <widget class="GtkImage" id="image135">
64 <property name="visible">True</property>
65 <property name="stock">gtk-refresh</property>
66 <property name="icon_size">1</property>
67 <property name="xalign">0.5</property>
68 <property name="yalign">0.5</property>
69 <property name="xpad">0</property>
70 <property name="ypad">0</property>
71 </widget>
72 </child>
73 </widget>
74 </child>
75
76 <child>
77 <widget class="GtkSeparatorMenuItem" id="separatormenuitem2">
78 <property name="visible">True</property>
79 </widget>
80 </child>
81
82 <child>
83 <widget class="GtkImageMenuItem" id="quit">
84 <property name="visible">True</property>
85 <property name="label">gtk-quit</property>
86 <property name="use_stock">True</property>
87 <signal name="activate" handler="on_file_quit_click" last_modification_time="Sun, 29 Jan 2006 06:48:50 GMT"/>
88 </widget>
89 </child>
90 </widget>
91 </child>
92 </widget>
93 </child>
94
95 <child>
96 <widget class="GtkMenuItem" id="editmenu">
97 <property name="visible">True</property>
98 <property name="label" translatable="yes">_Edit</property>
99 <property name="use_underline">True</property>
100
101 <child>
102 <widget class="GtkMenu" id="editmenu_menu">
103
104 <child>
105 <widget class="GtkImageMenuItem" id="copy_observer_matrix">
106 <property name="visible">True</property>
107 <property name="label" translatable="yes">_Copy Observer Matrix</property>
108 <property name="use_underline">True</property>
109 <signal name="activate" handler="on_copy_observer_matrix_click" last_modification_time="Wed, 01 Feb 2006 03:42:33 GMT"/>
110 <accelerator key="C" modifiers="GDK_CONTROL_MASK" signal="activate"/>
111
112 <child internal-child="image">
113 <widget class="GtkImage" id="image136">
114 <property name="visible">True</property>
115 <property name="stock">gtk-copy</property>
116 <property name="icon_size">1</property>
117 <property name="xalign">0.5</property>
118 <property name="yalign">0.5</property>
119 <property name="xpad">0</property>
120 <property name="ypad">0</property>
121 </widget>
122 </child>
123 </widget>
124 </child>
125 </widget>
126 </child>
127 </widget>
128 </child>
129
130 <child>
131 <widget class="GtkMenuItem" id="tools">
132 <property name="visible">True</property>
133 <property name="label" translatable="yes">_Tools</property>
134 <property name="use_underline">True</property>
135
136 <child>
137 <widget class="GtkMenu" id="tools_menu">
138
139 <child>
140 <widget class="GtkImageMenuItem" id="solve1">
141 <property name="visible">True</property>
142 <property name="label" translatable="yes">Sol_ve</property>
143 <property name="use_underline">True</property>
144 <signal name="activate" handler="solve_click" last_modification_time="Tue, 24 Jan 2006 02:52:29 GMT"/>
145 <accelerator key="F9" modifiers="0" signal="activate"/>
146
147 <child internal-child="image">
148 <widget class="GtkImage" id="image137">
149 <property name="visible">True</property>
150 <property name="stock">gtk-media-forward</property>
151 <property name="icon_size">1</property>
152 <property name="xalign">0.5</property>
153 <property name="yalign">0.5</property>
154 <property name="xpad">0</property>
155 <property name="ypad">0</property>
156 </widget>
157 </child>
158 </widget>
159 </child>
160
161 <child>
162 <widget class="GtkImageMenuItem" id="check1">
163 <property name="visible">True</property>
164 <property name="label" translatable="yes">_Check</property>
165 <property name="use_underline">True</property>
166 <signal name="activate" handler="check_click" last_modification_time="Tue, 24 Jan 2006 02:52:29 GMT"/>
167 <accelerator key="F7" modifiers="0" signal="activate"/>
168
169 <child internal-child="image">
170 <widget class="GtkImage" id="image138">
171 <property name="visible">True</property>
172 <property name="stock">gtk-spell-check</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
183 <child>
184 <widget class="GtkImageMenuItem" id="sparsity">
185 <property name="visible">True</property>
186 <property name="tooltip" translatable="yes">View the incidence matrix from the solver</property>
187 <property name="label" translatable="yes">_Incidence matrix...</property>
188 <property name="use_underline">True</property>
189 <signal name="activate" handler="on_tools_sparsity_click" last_modification_time="Sun, 29 Jan 2006 07:29:07 GMT"/>
190 <accelerator key="I" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/>
191
192 <child internal-child="image">
193 <widget class="GtkImage" id="image139">
194 <property name="visible">True</property>
195 <property name="pixbuf">incidence.png</property>
196 <property name="xalign">0.5</property>
197 <property name="yalign">0.5</property>
198 <property name="xpad">0</property>
199 <property name="ypad">0</property>
200 </widget>
201 </child>
202 </widget>
203 </child>
204
205 <child>
206 <widget class="GtkSeparatorMenuItem" id="separator3">
207 <property name="visible">True</property>
208 </widget>
209 </child>
210
211 <child>
212 <widget class="GtkImageMenuItem" id="add_observer">
213 <property name="visible">True</property>
214 <property name="label" translatable="yes">Add Observer</property>
215 <property name="use_underline">True</property>
216 <signal name="activate" handler="on_add_observer_click" last_modification_time="Tue, 31 Jan 2006 07:41:27 GMT"/>
217 <accelerator key="O" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/>
218
219 <child internal-child="image">
220 <widget class="GtkImage" id="image140">
221 <property name="visible">True</property>
222 <property name="stock">gtk-add</property>
223 <property name="icon_size">1</property>
224 <property name="xalign">0.5</property>
225 <property name="yalign">0.5</property>
226 <property name="xpad">0</property>
227 <property name="ypad">0</property>
228 </widget>
229 </child>
230 </widget>
231 </child>
232
233 <child>
234 <widget class="GtkImageMenuItem" id="keep_observed">
235 <property name="visible">True</property>
236 <property name="label" translatable="yes">_Keep Observed Values</property>
237 <property name="use_underline">True</property>
238 <signal name="activate" handler="on_keep_observed_click" last_modification_time="Wed, 01 Feb 2006 03:33:49 GMT"/>
239 <accelerator key="K" modifiers="GDK_CONTROL_MASK" signal="activate"/>
240
241 <child internal-child="image">
242 <widget class="GtkImage" id="image141">
243 <property name="visible">True</property>
244 <property name="stock">gtk-indent</property>
245 <property name="icon_size">1</property>
246 <property name="xalign">0.5</property>
247 <property name="yalign">0.5</property>
248 <property name="xpad">0</property>
249 <property name="ypad">0</property>
250 </widget>
251 </child>
252 </widget>
253 </child>
254
255 <child>
256 <widget class="GtkSeparatorMenuItem" id="separator4">
257 <property name="visible">True</property>
258 </widget>
259 </child>
260
261 <child>
262 <widget class="GtkCheckMenuItem" id="automenu">
263 <property name="visible">True</property>
264 <property name="tooltip" translatable="yes">Solve automatically after values change</property>
265 <property name="label" translatable="yes">_Auto</property>
266 <property name="use_underline">True</property>
267 <property name="active">True</property>
268 <signal name="activate" handler="on_tools_auto_toggle" last_modification_time="Sun, 29 Jan 2006 06:55:49 GMT"/>
269 <accelerator key="A" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/>
270 </widget>
271 </child>
272
273 <child>
274 <widget class="GtkImageMenuItem" id="preferences">
275 <property name="visible">True</property>
276 <property name="label" translatable="yes">Solver _Parameters...</property>
277 <property name="use_underline">True</property>
278 <signal name="activate" handler="preferences_click" last_modification_time="Tue, 24 Jan 2006 02:52:29 GMT"/>
279 <accelerator key="F11" modifiers="0" signal="activate"/>
280
281 <child internal-child="image">
282 <widget class="GtkImage" id="image142">
283 <property name="visible">True</property>
284 <property name="stock">gtk-preferences</property>
285 <property name="icon_size">1</property>
286 <property name="xalign">0.5</property>
287 <property name="yalign">0.5</property>
288 <property name="xpad">0</property>
289 <property name="ypad">0</property>
290 </widget>
291 </child>
292 </widget>
293 </child>
294 </widget>
295 </child>
296 </widget>
297 </child>
298
299 <child>
300 <widget class="GtkMenuItem" id="help">
301 <property name="visible">True</property>
302 <property name="label" translatable="yes">_Help</property>
303 <property name="use_underline">True</property>
304
305 <child>
306 <widget class="GtkMenu" id="help_menu">
307
308 <child>
309 <widget class="GtkImageMenuItem" id="contents">
310 <property name="visible">True</property>
311 <property name="label" translatable="yes">_Contents</property>
312 <property name="use_underline">True</property>
313 <signal name="activate" handler="on_help_contents_click" last_modification_time="Sun, 29 Jan 2006 06:36:19 GMT"/>
314
315 <child internal-child="image">
316 <widget class="GtkImage" id="image143">
317 <property name="visible">True</property>
318 <property name="stock">gtk-help</property>
319 <property name="icon_size">1</property>
320 <property name="xalign">0.5</property>
321 <property name="yalign">0.5</property>
322 <property name="xpad">0</property>
323 <property name="ypad">0</property>
324 </widget>
325 </child>
326 </widget>
327 </child>
328
329 <child>
330 <widget class="GtkImageMenuItem" id="about">
331 <property name="visible">True</property>
332 <property name="label">gtk-about</property>
333 <property name="use_stock">True</property>
334 <signal name="activate" handler="on_help_about_click" last_modification_time="Sun, 29 Jan 2006 03:56:52 GMT"/>
335 </widget>
336 </child>
337 </widget>
338 </child>
339 </widget>
340 </child>
341 </widget>
342 <packing>
343 <property name="padding">0</property>
344 <property name="expand">False</property>
345 <property name="fill">False</property>
346 </packing>
347 </child>
348
349 <child>
350 <widget class="GtkToolbar" id="toolbar3">
351 <property name="visible">True</property>
352 <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
353 <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
354 <property name="tooltips">True</property>
355 <property name="show_arrow">True</property>
356
357 <child>
358 <widget class="GtkToolButton" id="openbutton">
359 <property name="visible">True</property>
360 <property name="stock_id">gtk-open</property>
361 <property name="visible_horizontal">True</property>
362 <property name="visible_vertical">True</property>
363 <property name="is_important">False</property>
364 <signal name="clicked" handler="on_openbutton_clicked" last_modification_time="Sun, 04 Dec 2005 05:48:03 GMT"/>
365 </widget>
366 <packing>
367 <property name="expand">False</property>
368 <property name="homogeneous">True</property>
369 </packing>
370 </child>
371
372 <child>
373 <widget class="GtkToolButton" id="reloadbutton">
374 <property name="visible">True</property>
375 <property name="label" translatable="yes">Re_load</property>
376 <property name="use_underline">True</property>
377 <property name="stock_id">gtk-refresh</property>
378 <property name="visible_horizontal">True</property>
379 <property name="visible_vertical">True</property>
380 <property name="is_important">False</property>
381 <signal name="clicked" handler="on_toolbutton11_clicked" last_modification_time="Sun, 04 Dec 2005 05:38:03 GMT"/>
382 </widget>
383 <packing>
384 <property name="expand">False</property>
385 <property name="homogeneous">True</property>
386 </packing>
387 </child>
388
389 <child>
390 <widget class="GtkSeparatorToolItem" id="separatortoolitem4">
391 <property name="visible">True</property>
392 <property name="draw">True</property>
393 <property name="visible_horizontal">True</property>
394 <property name="visible_vertical">True</property>
395 </widget>
396 <packing>
397 <property name="expand">False</property>
398 <property name="homogeneous">False</property>
399 </packing>
400 </child>
401
402 <child>
403 <widget class="GtkToolButton" id="solvebutton">
404 <property name="visible">True</property>
405 <property name="label" translatable="yes">_Solve</property>
406 <property name="use_underline">True</property>
407 <property name="stock_id">gtk-media-play</property>
408 <property name="visible_horizontal">True</property>
409 <property name="visible_vertical">True</property>
410 <property name="is_important">False</property>
411 <signal name="clicked" handler="on_solvebutton_clicked" last_modification_time="Thu, 17 Nov 2005 08:17:30 GMT"/>
412 </widget>
413 <packing>
414 <property name="expand">False</property>
415 <property name="homogeneous">True</property>
416 </packing>
417 </child>
418
419 <child>
420 <widget class="GtkToolButton" id="checkbutton">
421 <property name="visible">True</property>
422 <property name="label" translatable="yes">_Check</property>
423 <property name="use_underline">True</property>
424 <property name="stock_id">gtk-spell-check</property>
425 <property name="visible_horizontal">True</property>
426 <property name="visible_vertical">True</property>
427 <property name="is_important">False</property>
428 <signal name="clicked" handler="on_checkbutton_clicked" last_modification_time="Thu, 17 Nov 2005 08:17:40 GMT"/>
429 </widget>
430 <packing>
431 <property name="expand">False</property>
432 <property name="homogeneous">True</property>
433 </packing>
434 </child>
435
436 <child>
437 <widget class="GtkSeparatorToolItem" id="separatortoolitem5">
438 <property name="visible">True</property>
439 <property name="draw">True</property>
440 <property name="visible_horizontal">True</property>
441 <property name="visible_vertical">True</property>
442 </widget>
443 <packing>
444 <property name="expand">False</property>
445 <property name="homogeneous">False</property>
446 </packing>
447 </child>
448
449 <child>
450 <widget class="GtkToggleToolButton" id="autotoggle">
451 <property name="visible">True</property>
452 <property name="label" translatable="yes">_Auto</property>
453 <property name="use_underline">True</property>
454 <property name="stock_id">gtk-execute</property>
455 <property name="visible_horizontal">True</property>
456 <property name="visible_vertical">True</property>
457 <property name="is_important">False</property>
458 <property name="active">True</property>
459 <signal name="toggled" handler="on_toggletoolbutton1_toggled" last_modification_time="Thu, 17 Nov 2005 09:12:04 GMT"/>
460 </widget>
461 <packing>
462 <property name="expand">False</property>
463 <property name="homogeneous">True</property>
464 </packing>
465 </child>
466
467 <child>
468 <widget class="GtkSeparatorToolItem" id="separatortoolitem3">
469 <property name="visible">True</property>
470 <property name="draw">True</property>
471 <property name="visible_horizontal">True</property>
472 <property name="visible_vertical">True</property>
473 </widget>
474 <packing>
475 <property name="expand">False</property>
476 <property name="homogeneous">False</property>
477 </packing>
478 </child>
479
480 <child>
481 <widget class="GtkToolItem" id="toolitem3">
482 <property name="visible">True</property>
483 <property name="visible_horizontal">True</property>
484 <property name="visible_vertical">True</property>
485 <property name="is_important">False</property>
486
487 <child>
488 <widget class="GtkFrame" id="frame1">
489 <property name="visible">True</property>
490 <property name="label_xalign">0</property>
491 <property name="label_yalign">0.5</property>
492 <property name="shadow_type">GTK_SHADOW_NONE</property>
493
494 <child>
495 <widget class="GtkAlignment" id="alignment1">
496 <property name="visible">True</property>
497 <property name="xalign">0.5</property>
498 <property name="yalign">0.5</property>
499 <property name="xscale">1</property>
500 <property name="yscale">1</property>
501 <property name="top_padding">0</property>
502 <property name="bottom_padding">0</property>
503 <property name="left_padding">0</property>
504 <property name="right_padding">0</property>
505
506 <child>
507 <widget class="GtkHBox" id="hbox3">
508 <property name="visible">True</property>
509 <property name="homogeneous">False</property>
510 <property name="spacing">0</property>
511
512 <child>
513 <widget class="GtkComboBox" id="methodsel">
514 <property name="visible">True</property>
515 <property name="add_tearoffs">False</property>
516 <property name="focus_on_click">True</property>
517 </widget>
518 <packing>
519 <property name="padding">0</property>
520 <property name="expand">True</property>
521 <property name="fill">True</property>
522 </packing>
523 </child>
524
525 <child>
526 <widget class="GtkButton" id="methodrunbutton">
527 <property name="visible">True</property>
528 <property name="can_focus">True</property>
529 <property name="label" translatable="yes">_Run</property>
530 <property name="use_underline">True</property>
531 <property name="relief">GTK_RELIEF_NORMAL</property>
532 <property name="focus_on_click">True</property>
533 </widget>
534 <packing>
535 <property name="padding">4</property>
536 <property name="expand">False</property>
537 <property name="fill">False</property>
538 </packing>
539 </child>
540 </widget>
541 </child>
542 </widget>
543 </child>
544
545 <child>
546 <widget class="GtkLabel" id="label8">
547 <property name="visible">True</property>
548 <property name="label" translatable="yes">Methods</property>
549 <property name="use_underline">False</property>
550 <property name="use_markup">True</property>
551 <property name="justify">GTK_JUSTIFY_LEFT</property>
552 <property name="wrap">False</property>
553 <property name="selectable">False</property>
554 <property name="xalign">0.5</property>
555 <property name="yalign">0.5</property>
556 <property name="xpad">0</property>
557 <property name="ypad">3</property>
558 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
559 <property name="width_chars">-1</property>
560 <property name="single_line_mode">False</property>
561 <property name="angle">0</property>
562 </widget>
563 <packing>
564 <property name="type">label_item</property>
565 </packing>
566 </child>
567 </widget>
568 </child>
569 </widget>
570 <packing>
571 <property name="expand">False</property>
572 <property name="homogeneous">False</property>
573 </packing>
574 </child>
575 </widget>
576 <packing>
577 <property name="padding">0</property>
578 <property name="expand">False</property>
579 <property name="fill">False</property>
580 </packing>
581 </child>
582
583 <child>
584 <widget class="GtkVPaned" id="browserpaned">
585 <property name="height_request">320</property>
586 <property name="visible">True</property>
587 <property name="can_focus">True</property>
588 <property name="position">421</property>
589
590 <child>
591 <widget class="GtkScrolledWindow" id="scrolledwindow11">
592 <property name="height_request">400</property>
593 <property name="visible">True</property>
594 <property name="can_focus">True</property>
595 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
596 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
597 <property name="shadow_type">GTK_SHADOW_NONE</property>
598 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
599
600 <child>
601 <widget class="GtkViewport" id="viewport2">
602 <property name="visible">True</property>
603 <property name="shadow_type">GTK_SHADOW_IN</property>
604
605 <child>
606 <widget class="GtkNotebook" id="maintabs">
607 <property name="visible">True</property>
608 <property name="can_focus">True</property>
609 <property name="show_tabs">True</property>
610 <property name="show_border">True</property>
611 <property name="tab_pos">GTK_POS_TOP</property>
612 <property name="scrollable">False</property>
613 <property name="enable_popup">False</property>
614
615 <child>
616 <widget class="GtkScrolledWindow" id="scrolledwindow12">
617 <property name="visible">True</property>
618 <property name="can_focus">True</property>
619 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
620 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
621 <property name="shadow_type">GTK_SHADOW_NONE</property>
622 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
623
624 <child>
625 <widget class="GtkTreeView" id="moduleview">
626 <property name="visible">True</property>
627 <property name="can_focus">True</property>
628 <property name="headers_visible">True</property>
629 <property name="rules_hint">False</property>
630 <property name="reorderable">False</property>
631 <property name="enable_search">True</property>
632 <property name="fixed_height_mode">False</property>
633 <property name="hover_selection">False</property>
634 <property name="hover_expand">False</property>
635 <signal name="row_activated" handler="on_moduleview_row_activated" last_modification_time="Sun, 04 Dec 2005 13:02:19 GMT"/>
636 </widget>
637 </child>
638 </widget>
639 <packing>
640 <property name="tab_expand">False</property>
641 <property name="tab_fill">True</property>
642 </packing>
643 </child>
644
645 <child>
646 <widget class="GtkLabel" id="moduletab">
647 <property name="visible">True</property>
648 <property name="label" translatable="yes">Modules</property>
649 <property name="use_underline">False</property>
650 <property name="use_markup">False</property>
651 <property name="justify">GTK_JUSTIFY_LEFT</property>
652 <property name="wrap">False</property>
653 <property name="selectable">False</property>
654 <property name="xalign">0.5</property>
655 <property name="yalign">0.5</property>
656 <property name="xpad">0</property>
657 <property name="ypad">0</property>
658 <property name="mnemonic_widget">moduleview</property>
659 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
660 <property name="width_chars">-1</property>
661 <property name="single_line_mode">False</property>
662 <property name="angle">0</property>
663 </widget>
664 <packing>
665 <property name="type">tab</property>
666 </packing>
667 </child>
668
669 <child>
670 <widget class="GtkScrolledWindow" id="scrolledwindow13">
671 <property name="visible">True</property>
672 <property name="can_focus">True</property>
673 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
674 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
675 <property name="shadow_type">GTK_SHADOW_NONE</property>
676 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
677
678 <child>
679 <widget class="GtkTreeView" id="browserview">
680 <property name="visible">True</property>
681 <property name="can_focus">True</property>
682 <property name="has_focus">True</property>
683 <property name="headers_visible">True</property>
684 <property name="rules_hint">False</property>
685 <property name="reorderable">False</property>
686 <property name="enable_search">True</property>
687 <property name="fixed_height_mode">False</property>
688 <property name="hover_selection">False</property>
689 <property name="hover_expand">False</property>
690 <signal name="key_press_event" handler="on_browserview_key_press_event" last_modification_time="Thu, 17 Nov 2005 15:57:18 GMT"/>
691 </widget>
692 </child>
693 </widget>
694 <packing>
695 <property name="tab_expand">False</property>
696 <property name="tab_fill">True</property>
697 </packing>
698 </child>
699
700 <child>
701 <widget class="GtkLabel" id="label10">
702 <property name="visible">True</property>
703 <property name="label" translatable="yes">Simulation </property>
704 <property name="use_underline">False</property>
705 <property name="use_markup">False</property>
706 <property name="justify">GTK_JUSTIFY_LEFT</property>
707 <property name="wrap">False</property>
708 <property name="selectable">False</property>
709 <property name="xalign">0.5</property>
710 <property name="yalign">0.5</property>
711 <property name="xpad">0</property>
712 <property name="ypad">0</property>
713 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
714 <property name="width_chars">-1</property>
715 <property name="single_line_mode">False</property>
716 <property name="angle">0</property>
717 </widget>
718 <packing>
719 <property name="type">tab</property>
720 </packing>
721 </child>
722 </widget>
723 </child>
724 </widget>
725 </child>
726 </widget>
727 <packing>
728 <property name="shrink">True</property>
729 <property name="resize">False</property>
730 </packing>
731 </child>
732
733 <child>
734 <widget class="GtkNotebook" id="notebook4">
735 <property name="visible">True</property>
736 <property name="can_focus">True</property>
737 <property name="show_tabs">True</property>
738 <property name="show_border">True</property>
739 <property name="tab_pos">GTK_POS_TOP</property>
740 <property name="scrollable">False</property>
741 <property name="enable_popup">False</property>
742
743 <child>
744 <widget class="GtkScrolledWindow" id="scrolledwindow10">
745 <property name="visible">True</property>
746 <property name="can_focus">True</property>
747 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
748 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
749 <property name="shadow_type">GTK_SHADOW_IN</property>
750 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
751
752 <child>
753 <widget class="GtkTreeView" id="errorview">
754 <property name="height_request">202</property>
755 <property name="visible">True</property>
756 <property name="can_focus">True</property>
757 <property name="headers_visible">True</property>
758 <property name="rules_hint">False</property>
759 <property name="reorderable">False</property>
760 <property name="enable_search">True</property>
761 <property name="fixed_height_mode">False</property>
762 <property name="hover_selection">False</property>
763 <property name="hover_expand">False</property>
764 </widget>
765 </child>
766 </widget>
767 <packing>
768 <property name="tab_expand">False</property>
769 <property name="tab_fill">True</property>
770 </packing>
771 </child>
772
773 <child>
774 <widget class="GtkLabel" id="errortab">
775 <property name="visible">True</property>
776 <property name="label" translatable="yes">Errors / Warnings</property>
777 <property name="use_underline">False</property>
778 <property name="use_markup">False</property>
779 <property name="justify">GTK_JUSTIFY_LEFT</property>
780 <property name="wrap">False</property>
781 <property name="selectable">False</property>
782 <property name="xalign">0.5</property>
783 <property name="yalign">0.5</property>
784 <property name="xpad">0</property>
785 <property name="ypad">0</property>
786 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
787 <property name="width_chars">-1</property>
788 <property name="single_line_mode">False</property>
789 <property name="angle">0</property>
790 </widget>
791 <packing>
792 <property name="type">tab</property>
793 </packing>
794 </child>
795 </widget>
796 <packing>
797 <property name="shrink">True</property>
798 <property name="resize">True</property>
799 </packing>
800 </child>
801 </widget>
802 <packing>
803 <property name="padding">0</property>
804 <property name="expand">True</property>
805 <property name="fill">True</property>
806 </packing>
807 </child>
808
809 <child>
810 <widget class="GtkStatusbar" id="statusbar">
811 <property name="visible">True</property>
812 <property name="has_resize_grip">True</property>
813 </widget>
814 <packing>
815 <property name="padding">0</property>
816 <property name="expand">False</property>
817 <property name="fill">False</property>
818 </packing>
819 </child>
820 </widget>
821 </child>
822 </widget>
823
824 <widget class="GtkMenu" id="browsercontext">
825
826 <child>
827 <widget class="GtkImageMenuItem" id="fix1">
828 <property name="visible">True</property>
829 <property name="tooltip" translatable="yes">Make this a 'fixed' variable\n in the simulation</property>
830 <property name="label" translatable="yes">_Fix</property>
831 <property name="use_underline">True</property>
832 <signal name="activate" handler="on_fix1_activate" last_modification_time="Thu, 17 Nov 2005 12:34:26 GMT"/>
833 <accelerator key="f" modifiers="GDK_CONTROL_MASK" signal="activate"/>
834
835 <child internal-child="image">
836 <widget class="GtkImage" id="image11">
837 <property name="visible">True</property>
838 <property name="stock">gtk-yes</property>
839 <property name="icon_size">1</property>
840 <property name="xalign">0.5</property>
841 <property name="yalign">0.5</property>
842 <property name="xpad">0</property>
843 <property name="ypad">0</property>
844 </widget>
845 </child>
846 </widget>
847 </child>
848
849 <child>
850 <widget class="GtkImageMenuItem" id="free1">
851 <property name="visible">True</property>
852 <property name="tooltip" translatable="yes">Allow this variable to be varied\nwhen solving the system</property>
853 <property name="label" translatable="yes">F_ree</property>
854 <property name="use_underline">True</property>
855 <signal name="activate" handler="on_free1_activate" last_modification_time="Thu, 17 Nov 2005 12:34:26 GMT"/>
856 <accelerator key="r" modifiers="GDK_CONTROL_MASK" signal="activate"/>
857
858 <child internal-child="image">
859 <widget class="GtkImage" id="image12">
860 <property name="visible">True</property>
861 <property name="stock">gtk-no</property>
862 <property name="icon_size">1</property>
863 <property name="xalign">0.5</property>
864 <property name="yalign">0.5</property>
865 <property name="xpad">0</property>
866 <property name="ypad">0</property>
867 </widget>
868 </child>
869 </widget>
870 </child>
871
872 <child>
873 <widget class="GtkSeparatorMenuItem" id="separator2">
874 <property name="visible">True</property>
875 </widget>
876 </child>
877
878 <child>
879 <widget class="GtkMenuItem" id="plot1">
880 <property name="visible">True</property>
881 <property name="label" translatable="yes">_Plot</property>
882 <property name="use_underline">True</property>
883 <signal name="activate" handler="on_plot1_activate" last_modification_time="Fri, 06 Jan 2006 09:36:45 GMT"/>
884 <accelerator key="p" modifiers="GDK_CONTROL_MASK" signal="activate"/>
885 </widget>
886 </child>
887 </widget>
888
889 <widget class="GtkWindow" id="paramswin">
890 <property name="visible">True</property>
891 <property name="has_default">True</property>
892 <property name="title" translatable="yes">Solver Parameters</property>
893 <property name="type">GTK_WINDOW_TOPLEVEL</property>
894 <property name="window_position">GTK_WIN_POS_NONE</property>
895 <property name="modal">False</property>
896 <property name="default_width">700</property>
897 <property name="default_height">600</property>
898 <property name="resizable">True</property>
899 <property name="destroy_with_parent">False</property>
900 <property name="icon_name">gtk-properties</property>
901 <property name="decorated">True</property>
902 <property name="skip_taskbar_hint">False</property>
903 <property name="skip_pager_hint">False</property>
904 <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
905 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
906 <property name="focus_on_map">True</property>
907 <signal name="destroy" handler="on_paramswin_destroy" last_modification_time="Fri, 27 Jan 2006 05:15:10 GMT"/>
908
909 <child>
910 <widget class="GtkVBox" id="vbox6">
911 <property name="visible">True</property>
912 <property name="homogeneous">False</property>
913 <property name="spacing">0</property>
914
915 <child>
916 <widget class="GtkHBox" id="hbox6">
917 <property name="visible">True</property>
918 <property name="homogeneous">False</property>
919 <property name="spacing">0</property>
920
921 <child>
922 <widget class="GtkLabel" id="label11">
923 <property name="visible">True</property>
924 <property name="label" translatable="yes">&lt;b&gt;Current solver:&lt;/b&gt; </property>
925 <property name="use_underline">False</property>
926 <property name="use_markup">True</property>
927 <property name="justify">GTK_JUSTIFY_LEFT</property>
928 <property name="wrap">False</property>
929 <property name="selectable">False</property>
930 <property name="xalign">0.5</property>
931 <property name="yalign">0.5</property>
932 <property name="xpad">0</property>
933 <property name="ypad">0</property>
934 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
935 <property name="width_chars">-1</property>
936 <property name="single_line_mode">False</property>
937 <property name="angle">0</property>
938 </widget>
939 <packing>
940 <property name="padding">0</property>
941 <property name="expand">False</property>
942 <property name="fill">False</property>
943 </packing>
944 </child>
945
946 <child>
947 <widget class="GtkLabel" id="solvername">
948 <property name="visible">True</property>
949 <property name="label" translatable="yes">solvername </property>
950 <property name="use_underline">False</property>
951 <property name="use_markup">False</property>
952 <property name="justify">GTK_JUSTIFY_LEFT</property>
953 <property name="wrap">False</property>
954 <property name="selectable">False</property>
955 <property name="xalign">0.5</property>
956 <property name="yalign">0.5</property>
957 <property name="xpad">0</property>
958 <property name="ypad">0</property>
959 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
960 <property name="width_chars">-1</property>
961 <property name="single_line_mode">False</property>
962 <property name="angle">0</property>
963 </widget>
964 <packing>
965 <property name="padding">0</property>
966 <property name="expand">False</property>
967 <property name="fill">False</property>
968 </packing>
969 </child>
970 </widget>
971 <packing>
972 <property name="padding">14</property>
973 <property name="expand">False</property>
974 <property name="fill">True</property>
975 </packing>
976 </child>
977
978 <child>
979 <widget class="GtkScrolledWindow" id="scrolledwindow14">
980 <property name="visible">True</property>
981 <property name="can_focus">True</property>
982 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
983 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
984 <property name="shadow_type">GTK_SHADOW_IN</property>
985 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
986
987 <child>
988 <widget class="GtkViewport" id="viewport3">
989 <property name="visible">True</property>
990 <property name="shadow_type">GTK_SHADOW_IN</property>
991
992 <child>
993 <widget class="GtkTreeView" id="paramsview">
994 <property name="visible">True</property>
995 <property name="can_focus">True</property>
996 <property name="headers_visible">True</property>
997 <property name="rules_hint">False</property>
998 <property name="reorderable">False</property>
999 <property name="enable_search">True</property>
1000 <property name="fixed_height_mode">False</property>
1001 <property name="hover_selection">False</property>
1002 <property name="hover_expand">False</property>
1003 <signal name="row_activated" handler="on_paramsview_row_activated" last_modification_time="Fri, 27 Jan 2006 05:56:55 GMT"/>
1004 <signal name="select_cursor_row" handler="on_paramsview_select_cursor_row" last_modification_time="Fri, 27 Jan 2006 07:21:36 GMT"/>
1005 <signal name="button_press_event" handler="on_paramsview_button_press_event" last_modification_time="Sat, 28 Jan 2006 01:46:18 GMT"/>
1006 <signal name="cursor_changed" handler="on_paramsview_cursor_changed" last_modification_time="Sat, 28 Jan 2006 03:40:50 GMT"/>
1007 </widget>
1008 </child>
1009 </widget>
1010 </child>
1011 </widget>
1012 <packing>
1013 <property name="padding">0</property>
1014 <property name="expand">True</property>
1015 <property name="fill">True</property>
1016 </packing>
1017 </child>
1018
1019 <child>
1020 <widget class="GtkHBox" id="hbox4">
1021 <property name="visible">True</property>
1022 <property name="homogeneous">False</property>
1023 <property name="spacing">8</property>
1024 </widget>
1025 <packing>
1026 <property name="padding">0</property>
1027 <property name="expand">False</property>
1028 <property name="fill">True</property>
1029 </packing>
1030 </child>
1031
1032 <child>
1033 <widget class="GtkFrame" id="frame2">
1034 <property name="visible">True</property>
1035 <property name="label_xalign">0</property>
1036 <property name="label_yalign">0.5</property>
1037 <property name="shadow_type">GTK_SHADOW_NONE</property>
1038
1039 <child>
1040 <widget class="GtkAlignment" id="alignment2">
1041 <property name="visible">True</property>
1042 <property name="xalign">0.5</property>
1043 <property name="yalign">0.5</property>
1044 <property name="xscale">1</property>
1045 <property name="yscale">1</property>
1046 <property name="top_padding">0</property>
1047 <property name="bottom_padding">0</property>
1048 <property name="left_padding">12</property>
1049 <property name="right_padding">0</property>
1050
1051 <child>
1052 <widget class="GtkLabel" id="paramdescription">
1053 <property name="visible">True</property>
1054 <property name="label" translatable="yes">To edit a paramer, select the row you want then click the 'value' column.</property>
1055 <property name="use_underline">False</property>
1056 <property name="use_markup">False</property>
1057 <property name="justify">GTK_JUSTIFY_LEFT</property>
1058 <property name="wrap">False</property>
1059 <property name="selectable">False</property>
1060 <property name="xalign">0</property>
1061 <property name="yalign">0.5</property>
1062 <property name="xpad">10</property>
1063 <property name="ypad">10</property>
1064 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1065 <property name="width_chars">-1</property>
1066 <property name="single_line_mode">False</property>
1067 <property name="angle">0</property>
1068 </widget>
1069 </child>
1070 </widget>
1071 </child>
1072
1073 <child>
1074 <widget class="GtkLabel" id="label13">
1075 <property name="visible">True</property>
1076 <property name="label" translatable="yes">Parameter info</property>
1077 <property name="use_underline">False</property>
1078 <property name="use_markup">True</property>
1079 <property name="justify">GTK_JUSTIFY_LEFT</property>
1080 <property name="wrap">False</property>
1081 <property name="selectable">False</property>
1082 <property name="xalign">0.5</property>
1083 <property name="yalign">0.5</property>
1084 <property name="xpad">0</property>
1085 <property name="ypad">0</property>
1086 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1087 <property name="width_chars">-1</property>
1088 <property name="single_line_mode">False</property>
1089 <property name="angle">0</property>
1090 </widget>
1091 <packing>
1092 <property name="type">label_item</property>
1093 </packing>
1094 </child>
1095 </widget>
1096 <packing>
1097 <property name="padding">8</property>
1098 <property name="expand">False</property>
1099 <property name="fill">False</property>
1100 </packing>
1101 </child>
1102
1103 <child>
1104 <widget class="GtkHBox" id="hbox5">
1105 <property name="visible">True</property>
1106 <property name="homogeneous">True</property>
1107 <property name="spacing">8</property>
1108
1109 <child>
1110 <widget class="GtkButton" id="paramsapply">
1111 <property name="visible">True</property>
1112 <property name="can_focus">True</property>
1113 <property name="label">gtk-apply</property>
1114 <property name="use_stock">True</property>
1115 <property name="relief">GTK_RELIEF_NORMAL</property>
1116 <property name="focus_on_click">True</property>
1117 <signal name="clicked" handler="on_paramsapply_clicked" last_modification_time="Sat, 28 Jan 2006 04:38:49 GMT"/>
1118 </widget>
1119 <packing>
1120 <property name="padding">0</property>
1121 <property name="expand">False</property>
1122 <property name="fill">False</property>
1123 <property name="pack_type">GTK_PACK_END</property>
1124 </packing>
1125 </child>
1126
1127 <child>
1128 <widget class="GtkButton" id="paramscancel">
1129 <property name="visible">True</property>
1130 <property name="can_focus">True</property>
1131 <property name="label">gtk-cancel</property>
1132 <property name="use_stock">True</property>
1133 <property name="relief">GTK_RELIEF_NORMAL</property>
1134 <property name="focus_on_click">True</property>
1135 <signal name="clicked" handler="on_paramscancel_clicked" last_modification_time="Sat, 28 Jan 2006 04:38:40 GMT"/>
1136 </widget>
1137 <packing>
1138 <property name="padding">0</property>
1139 <property name="expand">False</property>
1140 <property name="fill">False</property>
1141 <property name="pack_type">GTK_PACK_END</property>
1142 </packing>
1143 </child>
1144 </widget>
1145 <packing>
1146 <property name="padding">0</property>
1147 <property name="expand">False</property>
1148 <property name="fill">False</property>
1149 </packing>
1150 </child>
1151 </widget>
1152 </child>
1153 </widget>
1154
1155 <widget class="GtkDialog" id="boundsdialog">
1156 <property name="visible">True</property>
1157 <property name="title" translatable="yes">Out of bounds</property>
1158 <property name="type">GTK_WINDOW_TOPLEVEL</property>
1159 <property name="window_position">GTK_WIN_POS_NONE</property>
1160 <property name="modal">False</property>
1161 <property name="resizable">True</property>
1162 <property name="destroy_with_parent">False</property>
1163 <property name="decorated">True</property>
1164 <property name="skip_taskbar_hint">False</property>
1165 <property name="skip_pager_hint">False</property>
1166 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1167 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1168 <property name="focus_on_map">True</property>
1169 <property name="has_separator">True</property>
1170
1171 <child internal-child="vbox">
1172 <widget class="GtkVBox" id="dialog-vbox1">
1173 <property name="visible">True</property>
1174 <property name="homogeneous">False</property>
1175 <property name="spacing">0</property>
1176
1177 <child internal-child="action_area">
1178 <widget class="GtkHButtonBox" id="dialog-action_area1">
1179 <property name="visible">True</property>
1180 <property name="layout_style">GTK_BUTTONBOX_END</property>
1181
1182 <child>
1183 <widget class="GtkButton" id="okbutton1">
1184 <property name="visible">True</property>
1185 <property name="can_default">True</property>
1186 <property name="can_focus">True</property>
1187 <property name="label">gtk-ok</property>
1188 <property name="use_stock">True</property>
1189 <property name="relief">GTK_RELIEF_NORMAL</property>
1190 <property name="focus_on_click">True</property>
1191 <property name="response_id">-5</property>
1192 </widget>
1193 </child>
1194 </widget>
1195 <packing>
1196 <property name="padding">0</property>
1197 <property name="expand">False</property>
1198 <property name="fill">True</property>
1199 <property name="pack_type">GTK_PACK_END</property>
1200 </packing>
1201 </child>
1202
1203 <child>
1204 <widget class="GtkLabel" id="msg">
1205 <property name="visible">True</property>
1206 <property name="label" translatable="yes">Please enter a value that lies within the
1207 upper and lower bounds displayed.</property>
1208 <property name="use_underline">False</property>
1209 <property name="use_markup">True</property>
1210 <property name="justify">GTK_JUSTIFY_LEFT</property>
1211 <property name="wrap">False</property>
1212 <property name="selectable">False</property>
1213 <property name="xalign">0</property>
1214 <property name="yalign">0.5</property>
1215 <property name="xpad">8</property>
1216 <property name="ypad">8</property>
1217 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1218 <property name="width_chars">-1</property>
1219 <property name="single_line_mode">False</property>
1220 <property name="angle">0</property>
1221 </widget>
1222 <packing>
1223 <property name="padding">0</property>
1224 <property name="expand">False</property>
1225 <property name="fill">False</property>
1226 </packing>
1227 </child>
1228 </widget>
1229 </child>
1230 </widget>
1231
1232 <widget class="GtkDialog" id="dialog1">
1233 <property name="visible">True</property>
1234 <property name="title" translatable="yes">dialog1</property>
1235 <property name="type">GTK_WINDOW_TOPLEVEL</property>
1236 <property name="window_position">GTK_WIN_POS_NONE</property>
1237 <property name="modal">False</property>
1238 <property name="resizable">True</property>
1239 <property name="destroy_with_parent">False</property>
1240 <property name="decorated">True</property>
1241 <property name="skip_taskbar_hint">False</property>
1242 <property name="skip_pager_hint">False</property>
1243 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1244 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1245 <property name="focus_on_map">True</property>
1246 <property name="has_separator">True</property>
1247
1248 <child internal-child="vbox">
1249 <widget class="GtkVBox" id="dialog-vbox2">
1250 <property name="visible">True</property>
1251 <property name="homogeneous">False</property>
1252 <property name="spacing">0</property>
1253
1254 <child internal-child="action_area">
1255 <widget class="GtkHButtonBox" id="dialog-action_area2">
1256 <property name="visible">True</property>
1257 <property name="layout_style">GTK_BUTTONBOX_END</property>
1258
1259 <child>
1260 <widget class="GtkButton" id="closebutton1">
1261 <property name="visible">True</property>
1262 <property name="can_default">True</property>
1263 <property name="can_focus">True</property>
1264 <property name="label">gtk-close</property>
1265 <property name="use_stock">True</property>
1266 <property name="relief">GTK_RELIEF_NORMAL</property>
1267 <property name="focus_on_click">True</property>
1268 <property name="response_id">-7</property>
1269 </widget>
1270 </child>
1271 </widget>
1272 <packing>
1273 <property name="padding">0</property>
1274 <property name="expand">False</property>
1275 <property name="fill">True</property>
1276 <property name="pack_type">GTK_PACK_END</property>
1277 </packing>
1278 </child>
1279
1280 <child>
1281 <placeholder/>
1282 </child>
1283 </widget>
1284 </child>
1285 </widget>
1286
1287 <widget class="GtkDialog" id="aboutdialog">
1288 <property name="width_request">450</property>
1289 <property name="height_request">445</property>
1290 <property name="visible">True</property>
1291 <property name="title" translatable="yes">About</property>
1292 <property name="type">GTK_WINDOW_TOPLEVEL</property>
1293 <property name="window_position">GTK_WIN_POS_NONE</property>
1294 <property name="modal">False</property>
1295 <property name="resizable">True</property>
1296 <property name="destroy_with_parent">False</property>
1297 <property name="decorated">True</property>
1298 <property name="skip_taskbar_hint">False</property>
1299 <property name="skip_pager_hint">False</property>
1300 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1301 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1302 <property name="focus_on_map">True</property>
1303 <property name="has_separator">True</property>
1304
1305 <child internal-child="vbox">
1306 <widget class="GtkVBox" id="dialog-vbox3">
1307 <property name="width_request">364</property>
1308 <property name="height_request">306</property>
1309 <property name="visible">True</property>
1310 <property name="homogeneous">False</property>
1311 <property name="spacing">0</property>
1312
1313 <child internal-child="action_area">
1314 <widget class="GtkHButtonBox" id="dialog-action_area3">
1315 <property name="visible">True</property>
1316 <property name="layout_style">GTK_BUTTONBOX_END</property>
1317
1318 <child>
1319 <widget class="GtkButton" id="closebutton2">
1320 <property name="visible">True</property>
1321 <property name="can_default">True</property>
1322 <property name="can_focus">True</property>
1323 <property name="label">gtk-close</property>
1324 <property name="use_stock">True</property>
1325 <property name="relief">GTK_RELIEF_NORMAL</property>
1326 <property name="focus_on_click">True</property>
1327 <property name="response_id">-7</property>
1328 </widget>
1329 </child>
1330 </widget>
1331 <packing>
1332 <property name="padding">0</property>
1333 <property name="expand">False</property>
1334 <property name="fill">True</property>
1335 <property name="pack_type">GTK_PACK_END</property>
1336 </packing>
1337 </child>
1338
1339 <child>
1340 <widget class="GtkLabel" id="label21">
1341 <property name="width_request">75</property>
1342 <property name="height_request">50</property>
1343 <property name="visible">True</property>
1344 <property name="label" translatable="yes">&lt;big&gt;&lt;b&gt;ASCEND PyGTK&lt;/b&gt;&lt;/big&gt;</property>
1345 <property name="use_underline">False</property>
1346 <property name="use_markup">True</property>
1347 <property name="justify">GTK_JUSTIFY_LEFT</property>
1348 <property name="wrap">False</property>
1349 <property name="selectable">False</property>
1350 <property name="xalign">0</property>
1351 <property name="yalign">0.5</property>
1352 <property name="xpad">0</property>
1353 <property name="ypad">0</property>
1354 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1355 <property name="width_chars">0</property>
1356 <property name="single_line_mode">False</property>
1357 <property name="angle">353</property>
1358 </widget>
1359 <packing>
1360 <property name="padding">0</property>
1361 <property name="expand">False</property>
1362 <property name="fill">False</property>
1363 </packing>
1364 </child>
1365
1366 <child>
1367 <widget class="GtkLabel" id="label14">
1368 <property name="width_request">500</property>
1369 <property name="height_request">243</property>
1370 <property name="visible">True</property>
1371 <property name="label" translatable="yes">Ascend is a large-scale object-oriented mathematical modelling
1372 environment with a strongly-typed modelling language.
1373
1374 ASCEND is comprised of a core 'engine' written in C by the ASCEND
1375 team at Carnegie Mellon University, including Art Westerberg,
1376 Ben Allan, Kirk Abbott, Tom Epperly, Karl Westerberg and John Pye
1377 from 1978 through to 2006.
1378
1379 This PyGTK-base GUI was written by John Pye at the University of
1380 New South Wales, Sydney, 2005-2006.
1381
1382 This is a non-release version of ASCEND built from up-to-date
1383 sources from the ASCEND source code repository.
1384
1385 ASCEND is released under the GNU General Public License (GPL)
1386 Free as a bird, free as in beer, free to get up to no good.
1387 You may not incorporate ASCEND into commercial software.
1388
1389 See &lt;u&gt;http://ascend.pse.cheme.cmu.edu&lt;/u&gt; for more information.</property>
1390 <property name="use_underline">False</property>
1391 <property name="use_markup">True</property>
1392 <property name="justify">GTK_JUSTIFY_LEFT</property>
1393 <property name="wrap">False</property>
1394 <property name="selectable">False</property>
1395 <property name="xalign">0</property>
1396 <property name="yalign">0</property>
1397 <property name="xpad">8</property>
1398 <property name="ypad">8</property>
1399 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1400 <property name="width_chars">-1</property>
1401 <property name="single_line_mode">False</property>
1402 <property name="angle">5</property>
1403 </widget>
1404 <packing>
1405 <property name="padding">0</property>
1406 <property name="expand">True</property>
1407 <property name="fill">True</property>
1408 </packing>
1409 </child>
1410 </widget>
1411 </child>
1412 </widget>
1413
1414 <widget class="GtkMenu" id="menu8">
1415
1416 <child>
1417 <widget class="GtkImageMenuItem" id="copy2">
1418 <property name="visible">True</property>
1419 <property name="label" translatable="yes">Copy</property>
1420 <property name="use_underline">True</property>
1421 <signal name="activate" handler="on_copy2_activate" last_modification_time="Sun, 13 Nov 2005 07:45:55 GMT"/>
1422
1423 <child internal-child="image">
1424 <widget class="GtkImage" id="image6">
1425 <property name="visible">True</property>
1426 <property name="stock">gtk-copy</property>
1427 <property name="icon_size">1</property>
1428 <property name="xalign">0.5</property>
1429 <property name="yalign">0.5</property>
1430 <property name="xpad">0</property>
1431 <property name="ypad">0</property>
1432 </widget>
1433 </child>
1434 </widget>
1435 </child>
1436
1437 <child>
1438 <widget class="GtkImageMenuItem" id="clear_all1">
1439 <property name="visible">True</property>
1440 <property name="label" translatable="yes">Clear all</property>
1441 <property name="use_underline">True</property>
1442 <signal name="activate" handler="on_clear_all1_activate" last_modification_time="Sun, 13 Nov 2005 07:45:55 GMT"/>
1443
1444 <child internal-child="image">
1445 <widget class="GtkImage" id="image7">
1446 <property name="visible">True</property>
1447 <property name="stock">gtk-clear</property>
1448 <property name="icon_size">1</property>
1449 <property name="xalign">0.5</property>
1450 <property name="yalign">0.5</property>
1451 <property name="xpad">0</property>
1452 <property name="ypad">0</property>
1453 </widget>
1454 </child>
1455 </widget>
1456 </child>
1457 </widget>
1458
1459 <widget class="GtkWindow" id="observerwin">
1460 <property name="visible">True</property>
1461 <property name="title" translatable="yes">window1</property>
1462 <property name="type">GTK_WINDOW_TOPLEVEL</property>
1463 <property name="window_position">GTK_WIN_POS_NONE</property>
1464 <property name="modal">False</property>
1465 <property name="default_width">600</property>
1466 <property name="default_height">400</property>
1467 <property name="resizable">True</property>
1468 <property name="destroy_with_parent">False</property>
1469 <property name="decorated">True</property>
1470 <property name="skip_taskbar_hint">False</property>
1471 <property name="skip_pager_hint">False</property>
1472 <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
1473 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1474 <property name="focus_on_map">True</property>
1475
1476 <child>
1477 <widget class="GtkVBox" id="observervbox">
1478 <property name="visible">True</property>
1479 <property name="homogeneous">False</property>
1480 <property name="spacing">0</property>
1481
1482 <child>
1483 <widget class="GtkToolbar" id="toolbar4">
1484 <property name="visible">True</property>
1485 <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
1486 <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
1487 <property name="tooltips">True</property>
1488 <property name="show_arrow">True</property>
1489
1490 <child>
1491 <widget class="GtkToolItem" id="toolitem4">
1492 <property name="visible">True</property>
1493 <property name="visible_horizontal">True</property>
1494 <property name="visible_vertical">True</property>
1495 <property name="is_important">False</property>
1496
1497 <child>
1498 <widget class="GtkButton" id="add">
1499 <property name="border_width">3</property>
1500 <property name="visible">True</property>
1501 <property name="can_focus">True</property>
1502 <property name="label">gtk-add</property>
1503 <property name="use_stock">True</property>
1504 <property name="relief">GTK_RELIEF_NORMAL</property>
1505 <property name="focus_on_click">True</property>
1506 <signal name="clicked" handler="on_add_clicked" last_modification_time="Wed, 01 Feb 2006 02:15:47 GMT"/>
1507 </widget>
1508 </child>
1509 </widget>
1510 <packing>
1511 <property name="expand">False</property>
1512 <property name="homogeneous">False</property>
1513 </packing>
1514 </child>
1515
1516 <child>
1517 <widget class="GtkToolItem" id="toolitem5">
1518 <property name="visible">True</property>
1519 <property name="visible_horizontal">True</property>
1520 <property name="visible_vertical">True</property>
1521 <property name="is_important">False</property>
1522
1523 <child>
1524 <widget class="GtkButton" id="clear">
1525 <property name="border_width">3</property>
1526 <property name="visible">True</property>
1527 <property name="can_focus">True</property>
1528 <property name="label">gtk-clear</property>
1529 <property name="use_stock">True</property>
1530 <property name="relief">GTK_RELIEF_NORMAL</property>
1531 <property name="focus_on_click">True</property>
1532 <signal name="clicked" handler="on_clear_clicked" last_modification_time="Wed, 01 Feb 2006 02:15:52 GMT"/>
1533 </widget>
1534 </child>
1535 </widget>
1536 <packing>
1537 <property name="expand">False</property>
1538 <property name="homogeneous">False</property>
1539 </packing>
1540 </child>
1541
1542 <child>
1543 <widget class="GtkToolItem" id="toolitem7">
1544 <property name="visible">True</property>
1545 <property name="visible_horizontal">True</property>
1546 <property name="visible_vertical">True</property>
1547 <property name="is_important">False</property>
1548
1549 <child>
1550 <widget class="GtkLabel" id="label17">
1551 <property name="visible">True</property>
1552 <property name="label" translatable="yes">To add columns here, right-click variables in the Simulation tab.</property>
1553 <property name="use_underline">False</property>
1554 <property name="use_markup">False</property>
1555 <property name="justify">GTK_JUSTIFY_LEFT</property>
1556 <property name="wrap">False</property>
1557 <property name="selectable">False</property>
1558 <property name="xalign">0.5</property>
1559 <property name="yalign">0.5</property>
1560 <property name="xpad">3</property>
1561 <property name="ypad">0</property>
1562 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1563 <property name="width_chars">-1</property>
1564 <property name="single_line_mode">False</property>
1565 <property name="angle">0</property>
1566 </widget>
1567 </child>
1568 </widget>
1569 <packing>
1570 <property name="expand">False</property>
1571 <property name="homogeneous">False</property>
1572 </packing>
1573 </child>
1574
1575 <child>
1576 <widget class="GtkToolItem" id="toolitem6">
1577 <property name="visible">True</property>
1578 <property name="visible_horizontal">True</property>
1579 <property name="visible_vertical">True</property>
1580 <property name="is_important">False</property>
1581
1582 <child>
1583 <widget class="GtkLabel" id="label16">
1584 <property name="visible">True</property>
1585 <property name="label" translatable="yes">To add columns here, right-click variables in the 'simulation' tab, and click 'observe'</property>
1586 <property name="use_underline">False</property>
1587 <property name="use_markup">False</property>
1588 <property name="justify">GTK_JUSTIFY_LEFT</property>
1589 <property name="wrap">False</property>
1590 <property name="selectable">False</property>
1591 <property name="xalign">0.5</property>
1592 <property name="yalign">0.5</property>
1593 <property name="xpad">0</property>
1594 <property name="ypad">0</property>
1595 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1596 <property name="width_chars">-1</property>
1597 <property name="single_line_mode">False</property>
1598 <property name="angle">0</property>
1599 </widget>
1600 </child>
1601 </widget>
1602 <packing>
1603 <property name="expand">False</property>
1604 <property name="homogeneous">False</property>
1605 </packing>
1606 </child>
1607 </widget>
1608 <packing>
1609 <property name="padding">0</property>
1610 <property name="expand">False</property>
1611 <property name="fill">False</property>
1612 </packing>
1613 </child>
1614
1615 <child>
1616 <widget class="GtkScrolledWindow" id="scrolledwindow15">
1617 <property name="visible">True</property>
1618 <property name="can_focus">True</property>
1619 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1620 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1621 <property name="shadow_type">GTK_SHADOW_IN</property>
1622 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1623
1624 <child>
1625 <widget class="GtkTreeView" id="observerview">
1626 <property name="visible">True</property>
1627 <property name="can_focus">True</property>
1628 <property name="headers_visible">True</property>
1629 <property name="rules_hint">False</property>
1630 <property name="reorderable">False</property>
1631 <property name="enable_search">True</property>
1632 <property name="fixed_height_mode">False</property>
1633 <property name="hover_selection">False</property>
1634 <property name="hover_expand">False</property>
1635 </widget>
1636 </child>
1637 </widget>
1638 <packing>
1639 <property name="padding">0</property>
1640 <property name="expand">True</property>
1641 <property name="fill">True</property>
1642 </packing>
1643 </child>
1644 </widget>
1645 </child>
1646 </widget>
1647
1648 <widget class="GtkDialog" id="varpropswin">
1649 <property name="visible">True</property>
1650 <property name="title" translatable="yes">Variable</property>
1651 <property name="type">GTK_WINDOW_TOPLEVEL</property>
1652 <property name="window_position">GTK_WIN_POS_NONE</property>
1653 <property name="modal">False</property>
1654 <property name="resizable">True</property>
1655 <property name="destroy_with_parent">False</property>
1656 <property name="icon">properties.png</property>
1657 <property name="decorated">True</property>
1658 <property name="skip_taskbar_hint">False</property>
1659 <property name="skip_pager_hint">False</property>
1660 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1661 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1662 <property name="focus_on_map">True</property>
1663 <property name="has_separator">True</property>
1664 <signal name="destroy_event" handler="on_varpropswin_destroy_event" last_modification_time="Sat, 04 Feb 2006 05:31:13 GMT"/>
1665
1666 <child internal-child="vbox">
1667 <widget class="GtkVBox" id="dialog-vbox4">
1668 <property name="visible">True</property>
1669 <property name="homogeneous">False</property>
1670 <property name="spacing">0</property>
1671
1672 <child internal-child="action_area">
1673 <widget class="GtkHButtonBox" id="dialog-action_area4">
1674 <property name="visible">True</property>
1675 <property name="layout_style">GTK_BUTTONBOX_END</property>
1676
1677 <child>
1678 <widget class="GtkButton" id="cancelbutton">
1679 <property name="visible">True</property>
1680 <property name="can_default">True</property>
1681 <property name="can_focus">True</property>
1682 <property name="label">gtk-cancel</property>
1683 <property name="use_stock">True</property>
1684 <property name="relief">GTK_RELIEF_NORMAL</property>
1685 <property name="focus_on_click">True</property>
1686 <property name="response_id">-6</property>
1687 <signal name="clicked" handler="on_cancelbutton_clicked" last_modification_time="Sat, 04 Feb 2006 02:24:28 GMT"/>
1688 </widget>
1689 </child>
1690
1691 <child>
1692 <widget class="GtkButton" id="applybutton">
1693 <property name="visible">True</property>
1694 <property name="can_default">True</property>
1695 <property name="can_focus">True</property>
1696 <property name="label">gtk-apply</property>
1697 <property name="use_stock">True</property>
1698 <property name="relief">GTK_RELIEF_NORMAL</property>
1699 <property name="focus_on_click">True</property>
1700 <property name="response_id">-10</property>
1701 <signal name="clicked" handler="on_okbutton_clicked" last_modification_time="Sat, 04 Feb 2006 02:24:21 GMT"/>
1702 </widget>
1703 </child>
1704
1705 <child>
1706 <widget class="GtkButton" id="okbutton">
1707 <property name="visible">True</property>
1708 <property name="can_default">True</property>
1709 <property name="can_focus">True</property>
1710 <property name="label">gtk-ok</property>
1711 <property name="use_stock">True</property>
1712 <property name="relief">GTK_RELIEF_NORMAL</property>
1713 <property name="focus_on_click">True</property>
1714 <property name="response_id">-5</property>
1715 </widget>
1716 </child>
1717 </widget>
1718 <packing>
1719 <property name="padding">0</property>
1720 <property name="expand">False</property>
1721 <property name="fill">True</property>
1722 <property name="pack_type">GTK_PACK_END</property>
1723 </packing>
1724 </child>
1725
1726 <child>
1727 <widget class="GtkTable" id="table1">
1728 <property name="visible">True</property>
1729 <property name="n_rows">8</property>
1730 <property name="n_columns">2</property>
1731 <property name="homogeneous">False</property>
1732 <property name="row_spacing">5</property>
1733 <property name="column_spacing">5</property>
1734
1735 <child>
1736 <widget class="GtkLabel" id="label22">
1737 <property name="visible">True</property>
1738 <property name="label" translatable="yes">Value</property>
1739 <property name="use_underline">False</property>
1740 <property name="use_markup">False</property>
1741 <property name="justify">GTK_JUSTIFY_LEFT</property>
1742 <property name="wrap">False</property>
1743 <property name="selectable">False</property>
1744 <property name="xalign">0</property>
1745 <property name="yalign">0.5</property>
1746 <property name="xpad">0</property>
1747 <property name="ypad">0</property>
1748 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1749 <property name="width_chars">-1</property>
1750 <property name="single_line_mode">False</property>
1751 <property name="angle">0</property>
1752 </widget>
1753 <packing>
1754 <property name="left_attach">0</property>
1755 <property name="right_attach">1</property>
1756 <property name="top_attach">2</property>
1757 <property name="bottom_attach">3</property>
1758 <property name="x_options">fill</property>
1759 <property name="y_options"></property>
1760 </packing>
1761 </child>
1762
1763 <child>
1764 <widget class="GtkLabel" id="label24">
1765 <property name="visible">True</property>
1766 <property name="label" translatable="yes">Lower bound</property>
1767 <property name="use_underline">False</property>
1768 <property name="use_markup">False</property>
1769 <property name="justify">GTK_JUSTIFY_LEFT</property>
1770 <property name="wrap">False</property>
1771 <property name="selectable">False</property>
1772 <property name="xalign">0</property>
1773 <property name="yalign">0.5</property>
1774 <property name="xpad">0</property>
1775 <property name="ypad">0</property>
1776 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1777 <property name="width_chars">-1</property>
1778 <property name="single_line_mode">False</property>
1779 <property name="angle">0</property>
1780 </widget>
1781 <packing>
1782 <property name="left_attach">0</property>
1783 <property name="right_attach">1</property>
1784 <property name="top_attach">3</property>
1785 <property name="bottom_attach">4</property>
1786 <property name="x_options">fill</property>
1787 <property name="y_options"></property>
1788 </packing>
1789 </child>
1790
1791 <child>
1792 <widget class="GtkLabel" id="label25">
1793 <property name="visible">True</property>
1794 <property name="label" translatable="yes">Upper bound</property>
1795 <property name="use_underline">False</property>
1796 <property name="use_markup">False</property>
1797 <property name="justify">GTK_JUSTIFY_LEFT</property>
1798 <property name="wrap">False</property>
1799 <property name="selectable">False</property>
1800 <property name="xalign">0</property>
1801 <property name="yalign">0.5</property>
1802 <property name="xpad">0</property>
1803 <property name="ypad">0</property>
1804 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1805 <property name="width_chars">-1</property>
1806 <property name="single_line_mode">False</property>
1807 <property name="angle">0</property>
1808 </widget>
1809 <packing>
1810 <property name="left_attach">0</property>
1811 <property name="right_attach">1</property>
1812 <property name="top_attach">4</property>
1813 <property name="bottom_attach">5</property>
1814 <property name="x_options">fill</property>
1815 <property name="y_options"></property>
1816 </packing>
1817 </child>
1818
1819 <child>
1820 <widget class="GtkLabel" id="label26">
1821 <property name="visible">True</property>
1822 <property name="label" translatable="yes">Solving... </property>
1823 <property name="use_underline">False</property>
1824 <property name="use_markup">False</property>
1825 <property name="justify">GTK_JUSTIFY_LEFT</property>
1826 <property name="wrap">False</property>
1827 <property name="selectable">False</property>
1828 <property name="xalign">0</property>
1829 <property name="yalign">0.5</property>
1830 <property name="xpad">0</property>
1831 <property name="ypad">0</property>
1832 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1833 <property name="width_chars">-1</property>
1834 <property name="single_line_mode">False</property>
1835 <property name="angle">0</property>
1836 </widget>
1837 <packing>
1838 <property name="left_attach">0</property>
1839 <property name="right_attach">1</property>
1840 <property name="top_attach">7</property>
1841 <property name="bottom_attach">8</property>
1842 <property name="x_options">fill</property>
1843 <property name="y_options"></property>
1844 </packing>
1845 </child>
1846
1847 <child>
1848 <widget class="GtkVBox" id="vbox7">
1849 <property name="visible">True</property>
1850 <property name="homogeneous">False</property>
1851 <property name="spacing">0</property>
1852
1853 <child>
1854 <widget class="GtkLabel" id="varname">
1855 <property name="visible">True</property>
1856 <property name="label" translatable="yes">variable.name[245].here.value</property>
1857 <property name="use_underline">False</property>
1858 <property name="use_markup">False</property>
1859 <property name="justify">GTK_JUSTIFY_LEFT</property>
1860 <property name="wrap">False</property>
1861 <property name="selectable">False</property>
1862 <property name="xalign">0</property>
1863 <property name="yalign">0.5</property>
1864 <property name="xpad">0</property>
1865 <property name="ypad">4</property>
1866 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1867 <property name="width_chars">-1</property>
1868 <property name="single_line_mode">False</property>
1869 <property name="angle">0</property>
1870 </widget>
1871 <packing>
1872 <property name="padding">6</property>
1873 <property name="expand">False</property>
1874 <property name="fill">False</property>
1875 </packing>
1876 </child>
1877
1878 <child>
1879 <widget class="GtkHBox" id="hbox8">
1880 <property name="visible">True</property>
1881 <property name="homogeneous">False</property>
1882 <property name="spacing">0</property>
1883
1884 <child>
1885 <widget class="GtkImage" id="statusimg">
1886 <property name="visible">True</property>
1887 <property name="xalign">0.5</property>
1888 <property name="yalign">0.5</property>
1889 <property name="xpad">0</property>
1890 <property name="ypad">0</property>
1891 </widget>
1892 <packing>
1893 <property name="padding">0</property>
1894 <property name="expand">False</property>
1895 <property name="fill">True</property>
1896 </packing>
1897 </child>
1898
1899 <child>
1900 <widget class="GtkHBox" id="hbox10">
1901 <property name="visible">True</property>
1902 <property name="homogeneous">False</property>
1903 <property name="spacing">0</property>
1904
1905 <child>
1906 <widget class="GtkButton" id="othernamesbutton">
1907 <property name="visible">True</property>
1908 <property name="can_focus">True</property>
1909 <property name="label" translatable="yes">Find other names...</property>
1910 <property name="use_underline">True</property>
1911 <property name="relief">GTK_RELIEF_NORMAL</property>
1912 <property name="focus_on_click">True</property>
1913 <signal name="clicked" handler="on_othernamesbutton_clicked" last_modification_time="Sat, 04 Feb 2006 02:09:29 GMT"/>
1914 </widget>
1915 <packing>
1916 <property name="padding">0</property>
1917 <property name="expand">False</property>
1918 <property name="fill">False</property>
1919 <property name="pack_type">GTK_PACK_END</property>
1920 </packing>
1921 </child>
1922 </widget>
1923 <packing>
1924 <property name="padding">0</property>
1925 <property name="expand">True</property>
1926 <property name="fill">True</property>
1927 </packing>
1928 </child>
1929 </widget>
1930 <packing>
1931 <property name="padding">0</property>
1932 <property name="expand">True</property>
1933 <property name="fill">True</property>
1934 <property name="pack_type">GTK_PACK_END</property>
1935 </packing>
1936 </child>
1937 </widget>
1938 <packing>
1939 <property name="left_attach">1</property>
1940 <property name="right_attach">2</property>
1941 <property name="top_attach">0</property>
1942 <property name="bottom_attach">1</property>
1943 <property name="x_options">fill</property>
1944 <property name="y_options">fill</property>
1945 </packing>
1946 </child>
1947
1948 <child>
1949 <widget class="GtkHSeparator" id="hseparator1">
1950 <property name="visible">True</property>
1951 </widget>
1952 <packing>
1953 <property name="left_attach">1</property>
1954 <property name="right_attach">2</property>
1955 <property name="top_attach">6</property>
1956 <property name="bottom_attach">7</property>
1957 <property name="x_options">fill</property>
1958 </packing>
1959 </child>
1960
1961 <child>
1962 <widget class="GtkHSeparator" id="hseparator2">
1963 <property name="visible">True</property>
1964 </widget>
1965 <packing>
1966 <property name="left_attach">0</property>
1967 <property name="right_attach">1</property>
1968 <property name="top_attach">6</property>
1969 <property name="bottom_attach">7</property>
1970 <property name="x_options">fill</property>
1971 <property name="y_options">fill</property>
1972 </packing>
1973 </child>
1974
1975 <child>
1976 <widget class="GtkHSeparator" id="hseparator3">
1977 <property name="visible">True</property>
1978 </widget>
1979 <packing>
1980 <property name="left_attach">0</property>
1981 <property name="right_attach">1</property>
1982 <property name="top_attach">1</property>
1983 <property name="bottom_attach">2</property>
1984 <property name="x_options">fill</property>
1985 </packing>
1986 </child>
1987
1988 <child>
1989 <widget class="GtkHSeparator" id="hseparator4">
1990 <property name="visible">True</property>
1991 </widget>
1992 <packing>
1993 <property name="left_attach">1</property>
1994 <property name="right_attach">2</property>
1995 <property name="top_attach">1</property>
1996 <property name="bottom_attach">2</property>
1997 <property name="x_options">fill</property>
1998 <property name="y_options">fill</property>
1999 </packing>
2000 </child>
2001
2002 <child>
2003 <widget class="GtkHBox" id="hbox7">
2004 <property name="visible">True</property>
2005 <property name="homogeneous">False</property>
2006 <property name="spacing">2</property>
2007
2008 <child>
2009 <widget class="GtkRadioButton" id="fixed">
2010 <property name="visible">True</property>
2011 <property name="can_focus">True</property>
2012 <property name="label" translatable="yes">Fixed</property>
2013 <property name="use_underline">True</property>
2014 <property name="relief">GTK_RELIEF_NORMAL</property>
2015 <property name="focus_on_click">True</property>
2016 <property name="active">False</property>
2017 <property name="inconsistent">False</property>
2018 <property name="draw_indicator">True</property>
2019 </widget>
2020 <packing>
2021 <property name="padding">0</property>
2022 <property name="expand">False</property>
2023 <property name="fill">False</property>
2024 </packing>
2025 </child>
2026
2027 <child>
2028 <widget class="GtkRadioButton" id="free">
2029 <property name="visible">True</property>
2030 <property name="can_focus">True</property>
2031 <property name="label" translatable="yes">Free</property>
2032 <property name="use_underline">True</property>
2033 <property name="relief">GTK_RELIEF_NORMAL</property>
2034 <property name="focus_on_click">True</property>
2035 <property name="active">False</property>
2036 <property name="inconsistent">False</property>
2037 <property name="draw_indicator">True</property>
2038 <property name="group">fixed</property>
2039 </widget>
2040 <packing>
2041 <property name="padding">10</property>
2042 <property name="expand">False</property>
2043 <property name="fill">False</property>
2044 </packing>
2045 </child>
2046 </widget>
2047 <packing>
2048 <property name="left_attach">1</property>
2049 <property name="right_attach">2</property>
2050 <property name="top_attach">7</property>
2051 <property name="bottom_attach">8</property>
2052 <property name="x_options">fill</property>
2053 <property name="y_options">fill</property>
2054 </packing>
2055 </child>
2056
2057 <child>
2058 <widget class="GtkLabel" id="label28">
2059 <property name="visible">True</property>
2060 <property name="label" translatable="yes">Scaling base</property>
2061 <property name="use_underline">False</property>
2062 <property name="use_markup">False</property>
2063 <property name="justify">GTK_JUSTIFY_LEFT</property>
2064 <property name="wrap">False</property>
2065 <property name="selectable">False</property>
2066 <property name="xalign">0</property>
2067 <property name="yalign">0.5</property>
2068 <property name="xpad">0</property>
2069 <property name="ypad">0</property>
2070 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2071 <property name="width_chars">-1</property>
2072 <property name="single_line_mode">False</property>
2073 <property name="angle">0</property>
2074 </widget>
2075 <packing>
2076 <property name="left_attach">0</property>
2077 <property name="right_attach">1</property>
2078 <property name="top_attach">5</property>
2079 <property name="bottom_attach">6</property>
2080 <property name="x_options">fill</property>
2081 <property name="y_options"></property>
2082 </packing>
2083 </child>
2084
2085 <child>
2086 <widget class="GtkEntry" id="nominalentry">
2087 <property name="visible">True</property>
2088 <property name="can_focus">True</property>
2089 <property name="editable">True</property>
2090 <property name="visibility">True</property>
2091 <property name="max_length">0</property>
2092 <property name="text" translatable="yes"></property>
2093 <property name="has_frame">True</property>
2094 <property name="invisible_char">*</property>
2095 <property name="activates_default">False</property>
2096 </widget>
2097 <packing>
2098 <property name="left_attach">1</property>
2099 <property name="right_attach">2</property>
2100 <property name="top_attach">5</property>
2101 <property name="bottom_attach">6</property>
2102 <property name="y_options"></property>
2103 </packing>
2104 </child>
2105
2106 <child>
2107 <widget class="GtkEntry" id="upperentry">
2108 <property name="visible">True</property>
2109 <property name="can_focus">True</property>
2110 <property name="editable">True</property>
2111 <property name="visibility">True</property>
2112 <property name="max_length">0</property>
2113 <property name="text" translatable="yes"></property>
2114 <property name="has_frame">True</property>
2115 <property name="invisible_char">*</property>
2116 <property name="activates_default">False</property>
2117 </widget>
2118 <packing>
2119 <property name="left_attach">1</property>
2120 <property name="right_attach">2</property>
2121 <property name="top_attach">4</property>
2122 <property name="bottom_attach">5</property>
2123 <property name="y_options"></property>
2124 </packing>
2125 </child>
2126
2127 <child>
2128 <widget class="GtkEntry" id="lowerentry">
2129 <property name="visible">True</property>
2130 <property name="can_focus">True</property>
2131 <property name="editable">True</property>
2132 <property name="visibility">True</property>
2133 <property name="max_length">0</property>
2134 <property name="text" translatable="yes"></property>
2135 <property name="has_frame">True</property>
2136 <property name="invisible_char">*</property>
2137 <property name="activates_default">False</property>
2138 </widget>
2139 <packing>
2140 <property name="left_attach">1</property>
2141 <property name="right_attach">2</property>
2142 <property name="top_attach">3</property>
2143 <property name="bottom_attach">4</property>
2144 <property name="y_options"></property>
2145 </packing>
2146 </child>
2147
2148 <child>
2149 <widget class="GtkEntry" id="valueentry">
2150 <property name="visible">True</property>
2151 <property name="can_focus">True</property>
2152 <property name="editable">True</property>
2153 <property name="visibility">True</property>
2154 <property name="max_length">0</property>
2155 <property name="text" translatable="yes"></property>
2156 <property name="has_frame">True</property>
2157 <property name="invisible_char">*</property>
2158 <property name="activates_default">False</property>
2159 </widget>
2160 <packing>
2161 <property name="left_attach">1</property>
2162 <property name="right_attach">2</property>
2163 <property name="top_attach">2</property>
2164 <property name="bottom_attach">3</property>
2165 <property name="y_options"></property>
2166 </packing>
2167 </child>
2168
2169 <child>
2170 <widget class="GtkLabel" id="label23">
2171 <property name="visible">True</property>
2172 <property name="label" translatable="yes">Name </property>
2173 <property name="use_underline">False</property>
2174 <property name="use_markup">False</property>
2175 <property name="justify">GTK_JUSTIFY_LEFT</property>
2176 <property name="wrap">False</property>
2177 <property name="selectable">False</property>
2178 <property name="xalign">0</property>
2179 <property name="yalign">0</property>
2180 <property name="xpad">0</property>
2181 <property name="ypad">10</property>
2182 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
2183 <property name="width_chars">-1</property>
2184 <property name="single_line_mode">False</property>
2185 <property name="angle">0</property>
2186 </widget>
2187 <packing>
2188 <property name="left_attach">0</property>
2189 <property name="right_attach">1</property>
2190 <property name="top_attach">0</property>
2191 <property name="bottom_attach">1</property>
2192 <property name="x_options">fill</property>
2193 </packing>
2194 </child>
2195 </widget>
2196 <packing>
2197 <property name="padding">0</property>
2198 <property name="expand">False</property>
2199 <property name="fill">True</property>
2200 </packing>
2201 </child>
2202 </widget>
2203 </child>
2204 </widget>
2205
2206 </glade-interface>

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