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

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

Parent Directory Parent Directory | Revision Log Revision Log


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