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

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

Parent Directory Parent Directory | Revision Log Revision Log


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