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

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

Parent Directory Parent Directory | Revision Log Revision Log


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