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

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

Parent Directory Parent Directory | Revision Log Revision Log


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