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

Diff of /trunk/pygtk/glade/ascend.glade

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

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