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

Annotation of /trunk/pygtk/glade/ascend.glade

Parent Directory Parent Directory | Revision Log Revision Log


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