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

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

Parent Directory Parent Directory | Revision Log Revision Log


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