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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2486 - (show annotations) (download)
Sun Jul 24 13:40:55 2011 UTC (10 years, 11 months ago) by jpye
File size: 290386 byte(s)
Update 'About' box to new URL.
Update 'check for updates' to point to new server.
1 <?xml version="1.0" encoding="UTF-8"?>
2 <glade-interface>
3 <!-- interface-requires gtk+ 2.16 -->
4 <!-- interface-naming-policy toplevel-contextual -->
5 <widget class="GtkAboutDialog" id="aboutdialog">
6 <property name="visible">True</property>
7 <property name="can_focus">False</property>
8 <property name="border_width">5</property>
9 <property name="type_hint">normal</property>
10 <property name="program_name">ASCEND</property>
11 <property name="copyright" translatable="yes">Copyright (C) 2006-2008 Carnegie Mellon University</property>
12 <property name="comments" translatable="yes">A flexible modelling environment for hard engineering and science problems.</property>
13 <property name="website">http://ascend4.org</property>
14 <property name="website_label" translatable="yes">http://ascend4.org</property>
15 <property name="license" translatable="yes"> GNU GENERAL PUBLIC LICENSE
16 Version 2, June 1991
17
18 Copyright (C) 1989, 1991 Free Software Foundation, Inc.
19 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
20 Everyone is permitted to copy and distribute verbatim copies
21 of this license document, but changing it is not allowed.
22
23 Preamble
24
25 The licenses for most software are designed to take away your
26 freedom to share and change it. By contrast, the GNU General Public
27 License is intended to guarantee your freedom to share and change free
28 software--to make sure the software is free for all its users. This
29 General Public License applies to most of the Free Software
30 Foundation's software and to any other program whose authors commit to
31 using it. (Some other Free Software Foundation software is covered by
32 the GNU Library General Public License instead.) You can apply it to
33 your programs, too.
34
35 When we speak of free software, we are referring to freedom, not
36 price. Our General Public Licenses are designed to make sure that you
37 have the freedom to distribute copies of free software (and charge for
38 this service if you wish), that you receive source code or can get it
39 if you want it, that you can change the software or use pieces of it
40 in new free programs; and that you know you can do these things.
41
42 To protect your rights, we need to make restrictions that forbid
43 anyone to deny you these rights or to ask you to surrender the rights.
44 These restrictions translate to certain responsibilities for you if you
45 distribute copies of the software, or if you modify it.
46
47 For example, if you distribute copies of such a program, whether
48 gratis or for a fee, you must give the recipients all the rights that
49 you have. You must make sure that they, too, receive or can get the
50 source code. And you must show them these terms so they know their
51 rights.
52
53 We protect your rights with two steps: (1) copyright the software, and
54 (2) offer you this license which gives you legal permission to copy,
55 distribute and/or modify the software.
56
57 Also, for each author's protection and ours, we want to make certain
58 that everyone understands that there is no warranty for this free
59 software. If the software is modified by someone else and passed on, we
60 want its recipients to know that what they have is not the original, so
61 that any problems introduced by others will not reflect on the original
62 authors' reputations.
63
64 Finally, any free program is threatened constantly by software
65 patents. We wish to avoid the danger that redistributors of a free
66 program will individually obtain patent licenses, in effect making the
67 program proprietary. To prevent this, we have made it clear that any
68 patent must be licensed for everyone's free use or not licensed at all.
69
70 The precise terms and conditions for copying, distribution and
71 modification follow.
72
73 GNU GENERAL PUBLIC LICENSE
74 TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION
75
76 0. This License applies to any program or other work which contains
77 a notice placed by the copyright holder saying it may be distributed
78 under the terms of this General Public License. The "Program", below,
79 refers to any such program or work, and a "work based on the Program"
80 means either the Program or any derivative work under copyright law:
81 that is to say, a work containing the Program or a portion of it,
82 either verbatim or with modifications and/or translated into another
83 language. (Hereinafter, translation is included without limitation in
84 the term "modification".) Each licensee is addressed as "you".
85
86 Activities other than copying, distribution and modification are not
87 covered by this License; they are outside its scope. The act of
88 running the Program is not restricted, and the output from the Program
89 is covered only if its contents constitute a work based on the
90 Program (independent of having been made by running the Program).
91 Whether that is true depends on what the Program does.
92
93 1. You may copy and distribute verbatim copies of the Program's
94 source code as you receive it, in any medium, provided that you
95 conspicuously and appropriately publish on each copy an appropriate
96 copyright notice and disclaimer of warranty; keep intact all the
97 notices that refer to this License and to the absence of any warranty;
98 and give any other recipients of the Program a copy of this License
99 along with the Program.
100
101 You may charge a fee for the physical act of transferring a copy, and
102 you may at your option offer warranty protection in exchange for a fee.
103
104 2. You may modify your copy or copies of the Program or any portion
105 of it, thus forming a work based on the Program, and copy and
106 distribute such modifications or work under the terms of Section 1
107 above, provided that you also meet all of these conditions:
108
109 a) You must cause the modified files to carry prominent notices
110 stating that you changed the files and the date of any change.
111
112 b) You must cause any work that you distribute or publish, that in
113 whole or in part contains or is derived from the Program or any
114 part thereof, to be licensed as a whole at no charge to all third
115 parties under the terms of this License.
116
117 c) If the modified program normally reads commands interactively
118 when run, you must cause it, when started running for such
119 interactive use in the most ordinary way, to print or display an
120 announcement including an appropriate copyright notice and a
121 notice that there is no warranty (or else, saying that you provide
122 a warranty) and that users may redistribute the program under
123 these conditions, and telling the user how to view a copy of this
124 License. (Exception: if the Program itself is interactive but
125 does not normally print such an announcement, your work based on
126 the Program is not required to print an announcement.)
127
128 These requirements apply to the modified work as a whole. If
129 identifiable sections of that work are not derived from the Program,
130 and can be reasonably considered independent and separate works in
131 themselves, then this License, and its terms, do not apply to those
132 sections when you distribute them as separate works. But when you
133 distribute the same sections as part of a whole which is a work based
134 on the Program, the distribution of the whole must be on the terms of
135 this License, whose permissions for other licensees extend to the
136 entire whole, and thus to each and every part regardless of who wrote it.
137
138 Thus, it is not the intent of this section to claim rights or contest
139 your rights to work written entirely by you; rather, the intent is to
140 exercise the right to control the distribution of derivative or
141 collective works based on the Program.
142
143 In addition, mere aggregation of another work not based on the Program
144 with the Program (or with a work based on the Program) on a volume of
145 a storage or distribution medium does not bring the other work under
146 the scope of this License.
147
148 3. You may copy and distribute the Program (or a work based on it,
149 under Section 2) in object code or executable form under the terms of
150 Sections 1 and 2 above provided that you also do one of the following:
151
152 a) Accompany it with the complete corresponding machine-readable
153 source code, which must be distributed under the terms of Sections
154 1 and 2 above on a medium customarily used for software interchange; or,
155
156 b) Accompany it with a written offer, valid for at least three
157 years, to give any third party, for a charge no more than your
158 cost of physically performing source distribution, a complete
159 machine-readable copy of the corresponding source code, to be
160 distributed under the terms of Sections 1 and 2 above on a medium
161 customarily used for software interchange; or,
162
163 c) Accompany it with the information you received as to the offer
164 to distribute corresponding source code. (This alternative is
165 allowed only for noncommercial distribution and only if you
166 received the program in object code or executable form with such
167 an offer, in accord with Subsection b above.)
168
169 The source code for a work means the preferred form of the work for
170 making modifications to it. For an executable work, complete source
171 code means all the source code for all modules it contains, plus any
172 associated interface definition files, plus the scripts used to
173 control compilation and installation of the executable. However, as a
174 special exception, the source code distributed need not include
175 anything that is normally distributed (in either source or binary
176 form) with the major components (compiler, kernel, and so on) of the
177 operating system on which the executable runs, unless that component
178 itself accompanies the executable.
179
180 If distribution of executable or object code is made by offering
181 access to copy from a designated place, then offering equivalent
182 access to copy the source code from the same place counts as
183 distribution of the source code, even though third parties are not
184 compelled to copy the source along with the object code.
185
186 4. You may not copy, modify, sublicense, or distribute the Program
187 except as expressly provided under this License. Any attempt
188 otherwise to copy, modify, sublicense or distribute the Program is
189 void, and will automatically terminate your rights under this License.
190 However, parties who have received copies, or rights, from you under
191 this License will not have their licenses terminated so long as such
192 parties remain in full compliance.
193
194 5. You are not required to accept this License, since you have not
195 signed it. However, nothing else grants you permission to modify or
196 distribute the Program or its derivative works. These actions are
197 prohibited by law if you do not accept this License. Therefore, by
198 modifying or distributing the Program (or any work based on the
199 Program), you indicate your acceptance of this License to do so, and
200 all its terms and conditions for copying, distributing or modifying
201 the Program or works based on it.
202
203 6. Each time you redistribute the Program (or any work based on the
204 Program), the recipient automatically receives a license from the
205 original licensor to copy, distribute or modify the Program subject to
206 these terms and conditions. You may not impose any further
207 restrictions on the recipients' exercise of the rights granted herein.
208 You are not responsible for enforcing compliance by third parties to
209 this License.
210
211 7. If, as a consequence of a court judgment or allegation of patent
212 infringement or for any other reason (not limited to patent issues),
213 conditions are imposed on you (whether by court order, agreement or
214 otherwise) that contradict the conditions of this License, they do not
215 excuse you from the conditions of this License. If you cannot
216 distribute so as to satisfy simultaneously your obligations under this
217 License and any other pertinent obligations, then as a consequence you
218 may not distribute the Program at all. For example, if a patent
219 license would not permit royalty-free redistribution of the Program by
220 all those who receive copies directly or indirectly through you, then
221 the only way you could satisfy both it and this License would be to
222 refrain entirely from distribution of the Program.
223
224 If any portion of this section is held invalid or unenforceable under
225 any particular circumstance, the balance of the section is intended to
226 apply and the section as a whole is intended to apply in other
227 circumstances.
228
229 It is not the purpose of this section to induce you to infringe any
230 patents or other property right claims or to contest validity of any
231 such claims; this section has the sole purpose of protecting the
232 integrity of the free software distribution system, which is
233 implemented by public license practices. Many people have made
234 generous contributions to the wide range of software distributed
235 through that system in reliance on consistent application of that
236 system; it is up to the author/donor to decide if he or she is willing
237 to distribute software through any other system and a licensee cannot
238 impose that choice.
239
240 This section is intended to make thoroughly clear what is believed to
241 be a consequence of the rest of this License.
242
243 8. If the distribution and/or use of the Program is restricted in
244 certain countries either by patents or by copyrighted interfaces, the
245 original copyright holder who places the Program under this License
246 may add an explicit geographical distribution limitation excluding
247 those countries, so that distribution is permitted only in or among
248 countries not thus excluded. In such case, this License incorporates
249 the limitation as if written in the body of this License.
250
251 9. The Free Software Foundation may publish revised and/or new versions
252 of the General Public License from time to time. Such new versions will
253 be similar in spirit to the present version, but may differ in detail to
254 address new problems or concerns.
255
256 Each version is given a distinguishing version number. If the Program
257 specifies a version number of this License which applies to it and "any
258 later version", you have the option of following the terms and conditions
259 either of that version or of any later version published by the Free
260 Software Foundation. If the Program does not specify a version number of
261 this License, you may choose any version ever published by the Free Software
262 Foundation.
263
264 10. If you wish to incorporate parts of the Program into other free
265 programs whose distribution conditions are different, write to the author
266 to ask for permission. For software which is copyrighted by the Free
267 Software Foundation, write to the Free Software Foundation; we sometimes
268 make exceptions for this. Our decision will be guided by the two goals
269 of preserving the free status of all derivatives of our free software and
270 of promoting the sharing and reuse of software generally.
271
272 NO WARRANTY
273
274 11. BECAUSE THE PROGRAM IS LICENSED FREE OF CHARGE, THERE IS NO WARRANTY
275 FOR THE PROGRAM, TO THE EXTENT PERMITTED BY APPLICABLE LAW. EXCEPT WHEN
276 OTHERWISE STATED IN WRITING THE COPYRIGHT HOLDERS AND/OR OTHER PARTIES
277 PROVIDE THE PROGRAM "AS IS" WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED
278 OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
279 MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. THE ENTIRE RISK AS
280 TO THE QUALITY AND PERFORMANCE OF THE PROGRAM IS WITH YOU. SHOULD THE
281 PROGRAM PROVE DEFECTIVE, YOU ASSUME THE COST OF ALL NECESSARY SERVICING,
282 REPAIR OR CORRECTION.
283
284 12. IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING
285 WILL ANY COPYRIGHT HOLDER, OR ANY OTHER PARTY WHO MAY MODIFY AND/OR
286 REDISTRIBUTE THE PROGRAM AS PERMITTED ABOVE, BE LIABLE TO YOU FOR DAMAGES,
287 INCLUDING ANY GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES ARISING
288 OUT OF THE USE OR INABILITY TO USE THE PROGRAM (INCLUDING BUT NOT LIMITED
289 TO LOSS OF DATA OR DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED BY
290 YOU OR THIRD PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY OTHER
291 PROGRAMS), EVEN IF SUCH HOLDER OR OTHER PARTY HAS BEEN ADVISED OF THE
292 POSSIBILITY OF SUCH DAMAGES.
293
294 END OF TERMS AND CONDITIONS
295 </property>
296 <property name="authors">ASCEND engine:
297 Ben Allan
298 Kirk Abbott
299 Tom Epperly
300 Karl Westerberg
301 Art Westerberg
302 John Pye
303 Jerry St Clair
304
305 PyGTK Interface (this one):
306 John Pye
307
308 Tcl/Tk Interface (the other one):
309 Ben Allan
310 Kirk Abbott
311
312 Models and Testing:
313 Art Westerberg
314 Jerry St Clair
315 Krishnan Chittur
316 </property>
317 <property name="documenters">Documentation originally in FrameMaker format:
318 Ben Allan
319 Art Westerberg
320 Kirk Abbott
321
322 Conversion to LyX and other formats:
323 John Pye
324 </property>
325 <property name="translator_credits" translatable="yes" comments="TRANSLATORS: Replace this string with your names, one name per line.">translator-credits</property>
326 <property name="logo">ascend.svg</property>
327 <child internal-child="vbox">
328 <widget class="GtkVBox" id="dialog-vbox7">
329 <property name="can_focus">False</property>
330 <child internal-child="action_area">
331 <widget class="GtkHButtonBox" id="dialog-action_area7">
332 <property name="can_focus">False</property>
333 </widget>
334 <packing>
335 <property name="expand">False</property>
336 <property name="fill">True</property>
337 <property name="pack_type">end</property>
338 <property name="position">0</property>
339 </packing>
340 </child>
341 </widget>
342 </child>
343 </widget>
344 <widget class="GtkDialog" id="boundsdialog">
345 <property name="visible">True</property>
346 <property name="can_focus">False</property>
347 <property name="title" translatable="yes">Out of bounds</property>
348 <property name="type_hint">dialog</property>
349 <child internal-child="vbox">
350 <widget class="GtkVBox" id="dialog-vbox1">
351 <property name="visible">True</property>
352 <property name="can_focus">False</property>
353 <child internal-child="action_area">
354 <widget class="GtkHButtonBox" id="dialog-action_area1">
355 <property name="visible">True</property>
356 <property name="can_focus">False</property>
357 <property name="layout_style">end</property>
358 <child>
359 <widget class="GtkButton" id="okbutton1">
360 <property name="label">gtk-ok</property>
361 <property name="response_id">-5</property>
362 <property name="visible">True</property>
363 <property name="can_focus">True</property>
364 <property name="can_default">True</property>
365 <property name="receives_default">False</property>
366 <property name="use_action_appearance">False</property>
367 <property name="use_stock">True</property>
368 </widget>
369 <packing>
370 <property name="expand">False</property>
371 <property name="fill">False</property>
372 <property name="position">0</property>
373 </packing>
374 </child>
375 </widget>
376 <packing>
377 <property name="expand">False</property>
378 <property name="fill">True</property>
379 <property name="pack_type">end</property>
380 <property name="position">0</property>
381 </packing>
382 </child>
383 <child>
384 <widget class="GtkLabel" id="msg">
385 <property name="visible">True</property>
386 <property name="can_focus">False</property>
387 <property name="xalign">0</property>
388 <property name="xpad">8</property>
389 <property name="ypad">8</property>
390 <property name="label" translatable="yes">Please enter a value that lies within the
391 upper and lower bounds displayed.</property>
392 <property name="use_markup">True</property>
393 </widget>
394 <packing>
395 <property name="expand">False</property>
396 <property name="fill">False</property>
397 <property name="position">2</property>
398 </packing>
399 </child>
400 </widget>
401 </child>
402 </widget>
403 <widget class="GtkMenu" id="browsercontext">
404 <property name="can_focus">False</property>
405 <child>
406 <widget class="GtkImageMenuItem" id="fix1">
407 <property name="label">_Fix</property>
408 <property name="visible">True</property>
409 <property name="can_focus">False</property>
410 <property name="tooltip" translatable="yes">Make this a 'fixed' variable\n in the simulation</property>
411 <property name="use_action_appearance">False</property>
412 <property name="use_underline">True</property>
413 <property name="use_stock">True</property>
414 <signal name="activate" handler="on_fix1_activate" swapped="no"/>
415 <accelerator key="f" signal="activate" modifiers="GDK_CONTROL_MASK"/>
416 </widget>
417 </child>
418 <child>
419 <widget class="GtkImageMenuItem" id="free1">
420 <property name="label">F_ree</property>
421 <property name="visible">True</property>
422 <property name="can_focus">False</property>
423 <property name="tooltip" translatable="yes">Allow this variable to be varied\nwhen solving the system</property>
424 <property name="use_action_appearance">False</property>
425 <property name="use_underline">True</property>
426 <property name="use_stock">True</property>
427 <signal name="activate" handler="on_free1_activate" swapped="no"/>
428 <accelerator key="r" signal="activate" modifiers="GDK_CONTROL_MASK"/>
429 </widget>
430 </child>
431 <child>
432 <widget class="GtkSeparatorMenuItem" id="separator2">
433 <property name="visible">True</property>
434 <property name="can_focus">False</property>
435 </widget>
436 </child>
437 <child>
438 <widget class="GtkMenuItem" id="plot1">
439 <property name="visible">True</property>
440 <property name="can_focus">False</property>
441 <property name="use_action_appearance">False</property>
442 <property name="label" translatable="yes">_Plot</property>
443 <property name="use_underline">True</property>
444 <signal name="activate" handler="on_plot1_activate" swapped="no"/>
445 <accelerator key="p" signal="activate" modifiers="GDK_CONTROL_MASK"/>
446 </widget>
447 </child>
448 </widget>
449 <widget class="GtkWindow" id="browserwin">
450 <property name="width_request">530</property>
451 <property name="visible">True</property>
452 <property name="can_focus">False</property>
453 <property name="title" translatable="yes">ASCEND PyGTK</property>
454 <property name="default_width">600</property>
455 <property name="default_height">800</property>
456 <signal name="focus" handler="on_browserwin_focus" swapped="no"/>
457 <signal name="check_resize" handler="on_browserwin_check_resize" swapped="no"/>
458 <child>
459 <widget class="GtkVBox" id="vbox5">
460 <property name="visible">True</property>
461 <property name="can_focus">False</property>
462 <child>
463 <widget class="GtkMenuBar" id="browsermenu">
464 <property name="visible">True</property>
465 <property name="can_focus">False</property>
466 <child>
467 <widget class="GtkMenuItem" id="filemenu">
468 <property name="visible">True</property>
469 <property name="can_focus">False</property>
470 <property name="use_action_appearance">False</property>
471 <property name="label" translatable="yes">_File</property>
472 <property name="use_underline">True</property>
473 <child>
474 <widget class="GtkMenu" id="filemenu_menu">
475 <property name="can_focus">False</property>
476 <child>
477 <widget class="GtkImageMenuItem" id="open2">
478 <property name="label">gtk-open</property>
479 <property name="visible">True</property>
480 <property name="can_focus">False</property>
481 <property name="use_action_appearance">False</property>
482 <property name="use_underline">True</property>
483 <property name="use_stock">True</property>
484 <signal name="activate" handler="open_click" swapped="no"/>
485 </widget>
486 </child>
487 <child>
488 <widget class="GtkImageMenuItem" id="reload">
489 <property name="label">_Reload</property>
490 <property name="visible">True</property>
491 <property name="can_focus">False</property>
492 <property name="use_action_appearance">False</property>
493 <property name="use_underline">True</property>
494 <property name="use_stock">False</property>
495 <signal name="activate" handler="reload_click" after="yes" swapped="no"/>
496 <accelerator key="F5" signal="activate" modifiers="GDK_CONTROL_MASK"/>
497 <child internal-child="image">
498 <widget class="GtkImage" id="image1">
499 <property name="visible">True</property>
500 <property name="can_focus">False</property>
501 <property name="stock">gtk-refresh</property>
502 <property name="icon-size">1</property>
503 </widget>
504 </child>
505 </widget>
506 </child>
507 <child>
508 <widget class="GtkSeparatorMenuItem" id="separatormenuitem2">
509 <property name="visible">True</property>
510 <property name="can_focus">False</property>
511 </widget>
512 </child>
513 <child>
514 <widget class="GtkImageMenuItem" id="quit">
515 <property name="label">gtk-quit</property>
516 <property name="visible">True</property>
517 <property name="can_focus">False</property>
518 <property name="use_action_appearance">False</property>
519 <property name="use_underline">True</property>
520 <property name="use_stock">True</property>
521 <signal name="activate" handler="on_file_quit_click" swapped="no"/>
522 </widget>
523 </child>
524 </widget>
525 </child>
526 </widget>
527 </child>
528 <child>
529 <widget class="GtkMenuItem" id="editmenu">
530 <property name="visible">True</property>
531 <property name="can_focus">False</property>
532 <property name="use_action_appearance">False</property>
533 <property name="label" translatable="yes">_Edit</property>
534 <property name="use_underline">True</property>
535 <child>
536 <widget class="GtkMenu" id="editmenu_menu">
537 <property name="can_focus">False</property>
538 <child>
539 <widget class="GtkImageMenuItem" id="copy_observer_matrix">
540 <property name="label">_Copy observer matrix</property>
541 <property name="visible">True</property>
542 <property name="can_focus">False</property>
543 <property name="use_action_appearance">False</property>
544 <property name="use_underline">True</property>
545 <property name="use_stock">False</property>
546 <signal name="activate" handler="on_copy_observer_matrix_click" swapped="no"/>
547 <accelerator key="C" signal="activate" modifiers="GDK_CONTROL_MASK"/>
548 <child internal-child="image">
549 <widget class="GtkImage" id="image2">
550 <property name="visible">True</property>
551 <property name="can_focus">False</property>
552 <property name="stock">gtk-copy</property>
553 <property name="icon-size">1</property>
554 </widget>
555 </child>
556 </widget>
557 </child>
558 <child>
559 <widget class="GtkSeparatorMenuItem" id="separator5">
560 <property name="visible">True</property>
561 <property name="can_focus">False</property>
562 </widget>
563 </child>
564 <child>
565 <widget class="GtkImageMenuItem" id="fix_variable">
566 <property name="label">_Fix Variable</property>
567 <property name="visible">True</property>
568 <property name="can_focus">False</property>
569 <property name="use_action_appearance">False</property>
570 <property name="use_underline">True</property>
571 <property name="use_stock">False</property>
572 <signal name="activate" handler="on_fix_variable_activate" swapped="no"/>
573 <accelerator key="F" signal="activate" modifiers="GDK_CONTROL_MASK"/>
574 <child internal-child="image">
575 <widget class="GtkImage" id="image3">
576 <property name="visible">True</property>
577 <property name="can_focus">False</property>
578 <property name="xalign">0.49000000953674316</property>
579 <property name="pixbuf">locked.png</property>
580 </widget>
581 </child>
582 </widget>
583 </child>
584 <child>
585 <widget class="GtkImageMenuItem" id="free_variable">
586 <property name="label">F_ree Variable</property>
587 <property name="visible">True</property>
588 <property name="can_focus">False</property>
589 <property name="use_action_appearance">False</property>
590 <property name="use_underline">True</property>
591 <property name="use_stock">False</property>
592 <signal name="activate" handler="on_free_variable_activate" swapped="no"/>
593 <accelerator key="R" signal="activate" modifiers="GDK_CONTROL_MASK"/>
594 <child internal-child="image">
595 <widget class="GtkImage" id="image4">
596 <property name="visible">True</property>
597 <property name="can_focus">False</property>
598 <property name="pixbuf">unlocked.png</property>
599 </widget>
600 </child>
601 </widget>
602 </child>
603 <child>
604 <widget class="GtkSeparatorMenuItem" id="separator6">
605 <property name="visible">True</property>
606 <property name="can_focus">False</property>
607 </widget>
608 </child>
609 <child>
610 <widget class="GtkImageMenuItem" id="propsmenuitem">
611 <property name="label">_Properties</property>
612 <property name="visible">True</property>
613 <property name="can_focus">False</property>
614 <property name="use_action_appearance">False</property>
615 <property name="use_underline">True</property>
616 <property name="use_stock">False</property>
617 <signal name="activate" handler="props_activate" swapped="no"/>
618 <accelerator key="F4" signal="activate"/>
619 <child internal-child="image">
620 <widget class="GtkImage" id="image5">
621 <property name="visible">True</property>
622 <property name="can_focus">False</property>
623 <property name="stock">gtk-properties</property>
624 <property name="icon-size">1</property>
625 </widget>
626 </child>
627 </widget>
628 </child>
629 </widget>
630 </child>
631 </widget>
632 </child>
633 <child>
634 <widget class="GtkMenuItem" id="viewmenu">
635 <property name="visible">True</property>
636 <property name="can_focus">False</property>
637 <property name="use_action_appearance">False</property>
638 <property name="label" translatable="yes">_View</property>
639 <property name="use_underline">True</property>
640 <child>
641 <widget class="GtkMenu" id="viewmenu_menu">
642 <property name="visible">True</property>
643 <property name="can_focus">False</property>
644 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
645 <child>
646 <widget class="GtkImageMenuItem" id="sparsity">
647 <property name="label">_Incidence matrix...</property>
648 <property name="visible">True</property>
649 <property name="can_focus">False</property>
650 <property name="tooltip" translatable="yes">View the incidence matrix from the solver</property>
651 <property name="use_action_appearance">False</property>
652 <property name="use_underline">True</property>
653 <property name="use_stock">False</property>
654 <signal name="activate" handler="on_tools_sparsity_click" swapped="no"/>
655 <accelerator key="I" signal="activate" modifiers="GDK_SHIFT_MASK | GDK_CONTROL_MASK"/>
656 <child internal-child="image">
657 <widget class="GtkImage" id="image6">
658 <property name="visible">True</property>
659 <property name="can_focus">False</property>
660 <property name="xalign">0.47999998927116394</property>
661 <property name="pixbuf">incidence.png</property>
662 </widget>
663 </child>
664 </widget>
665 </child>
666 <child>
667 <widget class="GtkImageMenuItem" id="incidencegraph">
668 <property name="label">Incidence _graph...</property>
669 <property name="visible">True</property>
670 <property name="can_focus">False</property>
671 <property name="tooltip" translatable="yes">View incidence graph for the system</property>
672 <property name="use_action_appearance">False</property>
673 <property name="use_underline">True</property>
674 <property name="use_stock">False</property>
675 <signal name="activate" handler="on_tools_incidencegraph_click" swapped="no"/>
676 <accelerator key="G" signal="activate" modifiers="GDK_SHIFT_MASK | GDK_CONTROL_MASK"/>
677 <child internal-child="image">
678 <widget class="GtkImage" id="image7">
679 <property name="visible">True</property>
680 <property name="can_focus">False</property>
681 <property name="xalign">0.49000000953674316</property>
682 <property name="pixbuf">graphviz.png</property>
683 </widget>
684 </child>
685 </widget>
686 </child>
687 <child>
688 <widget class="GtkImageMenuItem" id="diagnose_blocks">
689 <property name="label">_Diagnose blocks...</property>
690 <property name="visible">True</property>
691 <property name="can_focus">False</property>
692 <property name="use_action_appearance">False</property>
693 <property name="use_underline">True</property>
694 <property name="use_stock">False</property>
695 <signal name="activate" handler="on_diagnose_blocks_click" swapped="no"/>
696 <accelerator key="D" signal="activate" modifiers="GDK_CONTROL_MASK"/>
697 <child internal-child="image">
698 <widget class="GtkImage" id="image8">
699 <property name="visible">True</property>
700 <property name="can_focus">False</property>
701 <property name="xalign">0.47999998927116394</property>
702 <property name="pixbuf">diagnose.png</property>
703 </widget>
704 </child>
705 </widget>
706 </child>
707 <child>
708 <widget class="GtkSeparatorMenuItem" id="separator7">
709 <property name="visible">True</property>
710 <property name="can_focus">False</property>
711 </widget>
712 </child>
713 <child>
714 <widget class="GtkMenuItem" id="show_fixed_vars">
715 <property name="visible">True</property>
716 <property name="can_focus">False</property>
717 <property name="use_action_appearance">False</property>
718 <property name="label" translatable="yes">Show _fixed vars</property>
719 <property name="use_underline">True</property>
720 <signal name="activate" handler="on_show_fixed_vars_activate" swapped="no"/>
721 </widget>
722 </child>
723 <child>
724 <widget class="GtkMenuItem" id="show_fixable_variables">
725 <property name="visible">True</property>
726 <property name="can_focus">False</property>
727 <property name="use_action_appearance">False</property>
728 <property name="label" translatable="yes">Show fi_xable vars</property>
729 <property name="use_underline">True</property>
730 <signal name="activate" handler="on_show_fixable_variables_activate" swapped="no"/>
731 <accelerator key="F" signal="activate" modifiers="GDK_SHIFT_MASK | GDK_CONTROL_MASK"/>
732 </widget>
733 </child>
734 <child>
735 <widget class="GtkMenuItem" id="show_freeable_vars">
736 <property name="visible">True</property>
737 <property name="can_focus">False</property>
738 <property name="use_action_appearance">False</property>
739 <property name="label" translatable="yes">Show f_reeable vars</property>
740 <property name="use_underline">True</property>
741 <signal name="activate" handler="on_show_freeable_variables_activate" swapped="no"/>
742 <accelerator key="R" signal="activate" modifiers="GDK_SHIFT_MASK | GDK_CONTROL_MASK"/>
743 </widget>
744 </child>
745 <child>
746 <widget class="GtkMenuItem" id="show_variables_near_bounds">
747 <property name="visible">True</property>
748 <property name="can_focus">False</property>
749 <property name="use_action_appearance">False</property>
750 <property name="label" translatable="yes">Show variables near _bounds</property>
751 <property name="use_underline">True</property>
752 <signal name="activate" handler="on_show_variables_near_bounds_activate" swapped="no"/>
753 <accelerator key="B" signal="activate" modifiers="GDK_CONTROL_MASK"/>
754 </widget>
755 </child>
756 <child>
757 <widget class="GtkMenuItem" id="show_vars_far_from_nominals1">
758 <property name="visible">True</property>
759 <property name="can_focus">False</property>
760 <property name="use_action_appearance">False</property>
761 <property name="label" translatable="yes">Show vars far from _nominals</property>
762 <property name="use_underline">True</property>
763 <signal name="activate" handler="on_show_vars_far_from_nominals_activate" swapped="no"/>
764 </widget>
765 </child>
766 <child>
767 <widget class="GtkMenuItem" id="show_external_functions">
768 <property name="visible">True</property>
769 <property name="can_focus">False</property>
770 <property name="use_action_appearance">False</property>
771 <property name="label" translatable="yes">Show _external functions</property>
772 <property name="use_underline">True</property>
773 <signal name="activate" handler="on_show_external_functions_activate" swapped="no"/>
774 <accelerator key="E" signal="activate" modifiers="GDK_SHIFT_MASK | GDK_CONTROL_MASK"/>
775 </widget>
776 </child>
777 <child>
778 <widget class="GtkSeparatorMenuItem" id="separator999">
779 <property name="visible">True</property>
780 <property name="can_focus">False</property>
781 </widget>
782 </child>
783 <child>
784 <widget class="GtkMenuItem" id="notes_view">
785 <property name="visible">True</property>
786 <property name="can_focus">False</property>
787 <property name="use_action_appearance">False</property>
788 <property name="label" translatable="yes">Show n_otes</property>
789 <property name="use_underline">True</property>
790 <signal name="activate" handler="on_notes_view_activate" swapped="no"/>
791 </widget>
792 </child>
793 <child>
794 <widget class="GtkSeparatorMenuItem" id="separator998">
795 <property name="visible">True</property>
796 <property name="can_focus">False</property>
797 </widget>
798 </child>
799 <child>
800 <widget class="GtkImageMenuItem" id="repaint_tree">
801 <property name="label">Re-_paint</property>
802 <property name="visible">True</property>
803 <property name="can_focus">False</property>
804 <property name="use_action_appearance">False</property>
805 <property name="use_underline">True</property>
806 <property name="use_stock">False</property>
807 <signal name="activate" handler="on_tools_repaint_tree_activate" swapped="no"/>
808 <accelerator key="F5" signal="activate"/>
809 <child internal-child="image">
810 <widget class="GtkImage" id="image9">
811 <property name="visible">True</property>
812 <property name="can_focus">False</property>
813 <property name="icon-size">1</property>
814 </widget>
815 </child>
816 </widget>
817 </child>
818 </widget>
819 </child>
820 </widget>
821 </child>
822 <child>
823 <widget class="GtkMenuItem" id="tools">
824 <property name="visible">True</property>
825 <property name="can_focus">False</property>
826 <property name="use_action_appearance">False</property>
827 <property name="label" translatable="yes">_Tools</property>
828 <property name="use_underline">True</property>
829 <child>
830 <widget class="GtkMenu" id="tools_menu">
831 <property name="can_focus">False</property>
832 <child>
833 <widget class="GtkImageMenuItem" id="check1">
834 <property name="label">C_heck</property>
835 <property name="visible">True</property>
836 <property name="can_focus">False</property>
837 <property name="use_action_appearance">False</property>
838 <property name="use_underline">True</property>
839 <property name="use_stock">False</property>
840 <signal name="activate" handler="check_click" swapped="no"/>
841 <accelerator key="F7" signal="activate"/>
842 <child internal-child="image">
843 <widget class="GtkImage" id="image10">
844 <property name="visible">True</property>
845 <property name="can_focus">False</property>
846 <property name="stock">gtk-spell-check</property>
847 <property name="icon-size">1</property>
848 </widget>
849 </child>
850 </widget>
851 </child>
852 <child>
853 <widget class="GtkImageMenuItem" id="solve1">
854 <property name="label">Sol_ve</property>
855 <property name="visible">True</property>
856 <property name="can_focus">False</property>
857 <property name="use_action_appearance">False</property>
858 <property name="use_underline">True</property>
859 <property name="use_stock">False</property>
860 <signal name="activate" handler="solve_click" swapped="no"/>
861 <accelerator key="F9" signal="activate"/>
862 <child internal-child="image">
863 <widget class="GtkImage" id="image11">
864 <property name="visible">True</property>
865 <property name="can_focus">False</property>
866 <property name="stock">gtk-media-play</property>
867 <property name="icon-size">1</property>
868 </widget>
869 </child>
870 </widget>
871 </child>
872 <child>
873 <widget class="GtkImageMenuItem" id="integrate1">
874 <property name="label">Integrate...</property>
875 <property name="visible">True</property>
876 <property name="can_focus">False</property>
877 <property name="use_action_appearance">False</property>
878 <property name="use_stock">False</property>
879 <signal name="activate" handler="integrate_click" swapped="no"/>
880 <accelerator key="F9" signal="activate" modifiers="GDK_CONTROL_MASK"/>
881 <child internal-child="image">
882 <widget class="GtkImage" id="image12">
883 <property name="visible">True</property>
884 <property name="can_focus">False</property>
885 <property name="pixbuf">integrator-sm.png</property>
886 </widget>
887 </child>
888 </widget>
889 </child>
890 <child>
891 <widget class="GtkSeparatorMenuItem" id="separator8">
892 <property name="visible">True</property>
893 <property name="can_focus">False</property>
894 </widget>
895 </child>
896 <child>
897 <widget class="GtkImageMenuItem" id="units">
898 <property name="label">_Units...</property>
899 <property name="visible">True</property>
900 <property name="can_focus">False</property>
901 <property name="tooltip" translatable="yes">Select preferred units of measurement for different atom types</property>
902 <property name="use_action_appearance">False</property>
903 <property name="use_underline">True</property>
904 <property name="use_stock">False</property>
905 <signal name="activate" handler="on_units_click" swapped="no"/>
906 <child internal-child="image">
907 <widget class="GtkImage" id="image13">
908 <property name="visible">True</property>
909 <property name="can_focus">False</property>
910 <property name="pixbuf">ruler.png</property>
911 </widget>
912 </child>
913 </widget>
914 </child>
915 <child>
916 <widget class="GtkImageMenuItem" id="console1">
917 <property name="label">_Console</property>
918 <property name="visible">True</property>
919 <property name="can_focus">False</property>
920 <property name="tooltip" translatable="yes">Program ASCEND with Python</property>
921 <property name="use_action_appearance">False</property>
922 <property name="use_underline">True</property>
923 <property name="use_stock">False</property>
924 <signal name="activate" handler="console_click" swapped="no"/>
925 <accelerator key="F12" signal="activate"/>
926 <child internal-child="image">
927 <widget class="GtkImage" id="image14">
928 <property name="visible">True</property>
929 <property name="can_focus">False</property>
930 <property name="stock">gtk-fullscreen</property>
931 <property name="icon-size">1</property>
932 </widget>
933 </child>
934 </widget>
935 </child>
936 <child>
937 <widget class="GtkSeparatorMenuItem" id="separator3">
938 <property name="visible">True</property>
939 <property name="can_focus">False</property>
940 </widget>
941 </child>
942 <child>
943 <widget class="GtkImageMenuItem" id="add_observer">
944 <property name="label">Add _Observer</property>
945 <property name="visible">True</property>
946 <property name="can_focus">False</property>
947 <property name="use_action_appearance">False</property>
948 <property name="use_underline">True</property>
949 <property name="use_stock">False</property>
950 <signal name="activate" handler="on_add_observer_click" swapped="no"/>
951 <accelerator key="O" signal="activate" modifiers="GDK_SHIFT_MASK | GDK_CONTROL_MASK"/>
952 <child internal-child="image">
953 <widget class="GtkImage" id="image16">
954 <property name="visible">True</property>
955 <property name="can_focus">False</property>
956 <property name="stock">gtk-indent</property>
957 <property name="icon-size">1</property>
958 </widget>
959 </child>
960 </widget>
961 </child>
962 <child>
963 <widget class="GtkImageMenuItem" id="keep_observed">
964 <property name="label">_Keep Observed Values</property>
965 <property name="visible">True</property>
966 <property name="can_focus">False</property>
967 <property name="use_action_appearance">False</property>
968 <property name="use_underline">True</property>
969 <property name="use_stock">False</property>
970 <signal name="activate" handler="on_keep_observed_click" swapped="no"/>
971 <accelerator key="K" signal="activate" modifiers="GDK_CONTROL_MASK"/>
972 <child internal-child="image">
973 <widget class="GtkImage" id="image15">
974 <property name="visible">True</property>
975 <property name="can_focus">False</property>
976 <property name="stock">gtk-media-record</property>
977 <property name="icon-size">1</property>
978 </widget>
979 </child>
980 </widget>
981 </child>
982 <child>
983 <widget class="GtkSeparatorMenuItem" id="separator4">
984 <property name="visible">True</property>
985 <property name="can_focus">False</property>
986 </widget>
987 </child>
988 <child>
989 <widget class="GtkCheckMenuItem" id="use_relation_sharing">
990 <property name="visible">True</property>
991 <property name="can_focus">False</property>
992 <property name="tooltip" translatable="yes">Check for merge-able 'anonymous types' during compile stage</property>
993 <property name="use_action_appearance">False</property>
994 <property name="label" translatable="yes">Use relation sharing</property>
995 <property name="use_underline">True</property>
996 <property name="active">True</property>
997 <signal name="activate" handler="on_use_relation_sharing_toggle" swapped="no"/>
998 <accelerator key="S" signal="activate" modifiers="GDK_CONTROL_MASK"/>
999 </widget>
1000 </child>
1001 <child>
1002 <widget class="GtkCheckMenuItem" id="use_binary_compilation">
1003 <property name="visible">True</property>
1004 <property name="can_focus">False</property>
1005 <property name="tooltip" translatable="yes">Convert equations to compiled C code before solving</property>
1006 <property name="use_action_appearance">False</property>
1007 <property name="label" translatable="yes">Use binary compilation</property>
1008 <property name="use_underline">True</property>
1009 <signal name="activate" handler="on_use_binary_compilation_toggle" swapped="no"/>
1010 <accelerator key="B" signal="activate" modifiers="GDK_SHIFT_MASK | GDK_CONTROL_MASK"/>
1011 </widget>
1012 </child>
1013 <child>
1014 <widget class="GtkSeparatorMenuItem" id="separator9">
1015 <property name="visible">True</property>
1016 <property name="can_focus">False</property>
1017 </widget>
1018 </child>
1019 <child>
1020 <widget class="GtkMenuItem" id="solver_engine">
1021 <property name="visible">True</property>
1022 <property name="can_focus">False</property>
1023 <property name="use_action_appearance">False</property>
1024 <property name="label" translatable="yes">Solver _Engine</property>
1025 <property name="use_underline">True</property>
1026 <signal name="activate" handler="on_solver_engine_activate" swapped="no"/>
1027 </widget>
1028 </child>
1029 <child>
1030 <widget class="GtkImageMenuItem" id="preferences">
1031 <property name="label">Solver _Parameters...</property>
1032 <property name="visible">True</property>
1033 <property name="can_focus">False</property>
1034 <property name="use_action_appearance">False</property>
1035 <property name="use_underline">True</property>
1036 <property name="use_stock">False</property>
1037 <signal name="activate" handler="preferences_click" swapped="no"/>
1038 <accelerator key="F11" signal="activate"/>
1039 <child internal-child="image">
1040 <widget class="GtkImage" id="image19">
1041 <property name="visible">True</property>
1042 <property name="can_focus">False</property>
1043 <property name="pixbuf">properties.png</property>
1044 </widget>
1045 </child>
1046 </widget>
1047 </child>
1048 <child>
1049 <widget class="GtkCheckMenuItem" id="automenu">
1050 <property name="visible">True</property>
1051 <property name="can_focus">False</property>
1052 <property name="tooltip" translatable="yes">Solve automatically after values change</property>
1053 <property name="use_action_appearance">False</property>
1054 <property name="label" translatable="yes">_Auto-solve</property>
1055 <property name="use_underline">True</property>
1056 <property name="active">True</property>
1057 <signal name="activate" handler="on_tools_auto_toggle" swapped="no"/>
1058 <accelerator key="A" signal="activate" modifiers="GDK_SHIFT_MASK | GDK_CONTROL_MASK"/>
1059 </widget>
1060 </child>
1061 <child>
1062 <widget class="GtkMenuItem" id="solver_monitor">
1063 <property name="visible">True</property>
1064 <property name="can_focus">False</property>
1065 <property name="use_action_appearance">False</property>
1066 <property name="label" translatable="yes">Solver _Reporter</property>
1067 <property name="use_underline">True</property>
1068 <child>
1069 <widget class="GtkMenu" id="solver_monitor_menu">
1070 <property name="can_focus">False</property>
1071 <child>
1072 <widget class="GtkCheckMenuItem" id="show_solving_popup">
1073 <property name="visible">True</property>
1074 <property name="can_focus">False</property>
1075 <property name="use_action_appearance">False</property>
1076 <property name="label" translatable="yes">Show _Pop-up</property>
1077 <property name="use_underline">True</property>
1078 <property name="active">True</property>
1079 <signal name="activate" handler="on_show_solving_popup_toggle" swapped="no"/>
1080 </widget>
1081 </child>
1082 <child>
1083 <widget class="GtkCheckMenuItem" id="close_on_converged">
1084 <property name="visible">True</property>
1085 <property name="can_focus">False</property>
1086 <property name="use_action_appearance">False</property>
1087 <property name="label" translatable="yes">Close Pop-up on _Converged</property>
1088 <property name="use_underline">True</property>
1089 <signal name="activate" handler="on_close_on_converged_toggle" swapped="no"/>
1090 </widget>
1091 </child>
1092 <child>
1093 <widget class="GtkCheckMenuItem" id="close_on_nonconverged">
1094 <property name="visible">True</property>
1095 <property name="can_focus">False</property>
1096 <property name="use_action_appearance">False</property>
1097 <property name="label" translatable="yes">Close Pop-up on _Non-converged</property>
1098 <property name="use_underline">True</property>
1099 <signal name="activate" handler="on_close_on_nonconverged_toggle" swapped="no"/>
1100 </widget>
1101 </child>
1102 </widget>
1103 </child>
1104 </widget>
1105 </child>
1106 </widget>
1107 </child>
1108 </widget>
1109 </child>
1110 <child>
1111 <widget class="GtkMenuItem" id="help">
1112 <property name="visible">True</property>
1113 <property name="can_focus">False</property>
1114 <property name="use_action_appearance">False</property>
1115 <property name="label" translatable="yes">_Help</property>
1116 <property name="use_underline">True</property>
1117 <child>
1118 <widget class="GtkMenu" id="help_menu">
1119 <property name="can_focus">False</property>
1120 <child>
1121 <widget class="GtkImageMenuItem" id="contents">
1122 <property name="label">_Contents</property>
1123 <property name="visible">True</property>
1124 <property name="can_focus">False</property>
1125 <property name="use_action_appearance">False</property>
1126 <property name="use_underline">True</property>
1127 <property name="use_stock">False</property>
1128 <signal name="activate" handler="on_help_contents_click" swapped="no"/>
1129 <child internal-child="image">
1130 <widget class="GtkImage" id="image17">
1131 <property name="visible">True</property>
1132 <property name="can_focus">False</property>
1133 <property name="yalign">0.46000000834465027</property>
1134 <property name="stock">gtk-help</property>
1135 <property name="icon-size">1</property>
1136 </widget>
1137 </child>
1138 </widget>
1139 </child>
1140 <child>
1141 <widget class="GtkImageMenuItem" id="check_for_updates">
1142 <property name="label">Check for _Updates</property>
1143 <property name="visible">True</property>
1144 <property name="can_focus">False</property>
1145 <property name="use_action_appearance">False</property>
1146 <property name="use_underline">True</property>
1147 <property name="use_stock">False</property>
1148 <signal name="activate" handler="on_help_check_for_updates_click" swapped="no"/>
1149 <child internal-child="image">
1150 <widget class="GtkImage" id="image18">
1151 <property name="visible">True</property>
1152 <property name="can_focus">False</property>
1153 <property name="stock">gtk-connect</property>
1154 <property name="icon-size">1</property>
1155 </widget>
1156 </child>
1157 </widget>
1158 </child>
1159 <child>
1160 <widget class="GtkMenuItem" id="report_a_bug">
1161 <property name="visible">True</property>
1162 <property name="can_focus">False</property>
1163 <property name="use_action_appearance">False</property>
1164 <property name="label" translatable="yes">Report a _Bug</property>
1165 <property name="use_underline">True</property>
1166 <signal name="activate" handler="on_report_a_bug_click" swapped="no"/>
1167 </widget>
1168 </child>
1169 <child>
1170 <widget class="GtkImageMenuItem" id="about">
1171 <property name="label">gtk-about</property>
1172 <property name="visible">True</property>
1173 <property name="can_focus">False</property>
1174 <property name="use_action_appearance">False</property>
1175 <property name="use_underline">True</property>
1176 <property name="use_stock">True</property>
1177 <signal name="activate" handler="on_help_about_click" swapped="no"/>
1178 </widget>
1179 </child>
1180 </widget>
1181 </child>
1182 </widget>
1183 </child>
1184 </widget>
1185 <packing>
1186 <property name="expand">False</property>
1187 <property name="fill">False</property>
1188 <property name="position">0</property>
1189 </packing>
1190 </child>
1191 <child>
1192 <widget class="GtkToolbar" id="toolbar3">
1193 <property name="visible">True</property>
1194 <property name="can_focus">False</property>
1195 <property name="toolbar_style">both</property>
1196 <child>
1197 <widget class="GtkToolButton" id="openbutton">
1198 <property name="visible">True</property>
1199 <property name="can_focus">False</property>
1200 <property name="use_action_appearance">False</property>
1201 <property name="stock_id">gtk-open</property>
1202 <signal name="clicked" handler="on_openbutton_clicked" swapped="no"/>
1203 </widget>
1204 <packing>
1205 <property name="expand">False</property>
1206 <property name="homogeneous">True</property>
1207 </packing>
1208 </child>
1209 <child>
1210 <widget class="GtkToolButton" id="reloadbutton">
1211 <property name="visible">True</property>
1212 <property name="can_focus">False</property>
1213 <property name="use_action_appearance">False</property>
1214 <property name="label" translatable="yes">Re_load</property>
1215 <property name="use_underline">True</property>
1216 <property name="stock_id">gtk-refresh</property>
1217 <signal name="clicked" handler="on_toolbutton11_clicked" swapped="no"/>
1218 </widget>
1219 <packing>
1220 <property name="expand">False</property>
1221 <property name="homogeneous">True</property>
1222 </packing>
1223 </child>
1224 <child>
1225 <widget class="GtkSeparatorToolItem" id="separatortoolitem4">
1226 <property name="visible">True</property>
1227 <property name="can_focus">False</property>
1228 </widget>
1229 <packing>
1230 <property name="expand">False</property>
1231 </packing>
1232 </child>
1233 <child>
1234 <widget class="GtkToolButton" id="checkbutton">
1235 <property name="visible">True</property>
1236 <property name="can_focus">False</property>
1237 <property name="use_action_appearance">False</property>
1238 <property name="label" translatable="yes">_Check</property>
1239 <property name="use_underline">True</property>
1240 <property name="stock_id">gtk-spell-check</property>
1241 <signal name="clicked" handler="on_checkbutton_clicked" swapped="no"/>
1242 </widget>
1243 <packing>
1244 <property name="expand">False</property>
1245 <property name="homogeneous">True</property>
1246 </packing>
1247 </child>
1248 <child>
1249 <widget class="GtkToolButton" id="solvebutton">
1250 <property name="visible">True</property>
1251 <property name="can_focus">False</property>
1252 <property name="use_action_appearance">False</property>
1253 <property name="label" translatable="yes">_Solve</property>
1254 <property name="use_underline">True</property>
1255 <property name="stock_id">gtk-media-play</property>
1256 <signal name="clicked" handler="on_solvebutton_clicked" swapped="no"/>
1257 </widget>
1258 <packing>
1259 <property name="expand">False</property>
1260 <property name="homogeneous">True</property>
1261 </packing>
1262 </child>
1263 <child>
1264 <widget class="GtkToolButton" id="integratebutton">
1265 <property name="visible">True</property>
1266 <property name="can_focus">False</property>
1267 <property name="use_action_appearance">False</property>
1268 <property name="label" translatable="yes">_Integ</property>
1269 <property name="use_underline">True</property>
1270 <property name="icon">integrator-sm.png</property>
1271 <signal name="clicked" handler="on_integratebutton_clicked" swapped="no"/>
1272 </widget>
1273 <packing>
1274 <property name="expand">False</property>
1275 <property name="homogeneous">True</property>
1276 </packing>
1277 </child>
1278 <child>
1279 <widget class="GtkSeparatorToolItem" id="separatortoolitem5">
1280 <property name="visible">True</property>
1281 <property name="can_focus">False</property>
1282 </widget>
1283 <packing>
1284 <property name="expand">False</property>
1285 </packing>
1286 </child>
1287 <child>
1288 <widget class="GtkToggleToolButton" id="autotoggle">
1289 <property name="visible">True</property>
1290 <property name="can_focus">False</property>
1291 <property name="use_action_appearance">False</property>
1292 <property name="label" translatable="yes">_Auto</property>
1293 <property name="use_underline">True</property>
1294 <property name="stock_id">gtk-execute</property>
1295 <property name="active">True</property>
1296 <signal name="toggled" handler="on_toggletoolbutton1_toggled" swapped="no"/>
1297 </widget>
1298 <packing>
1299 <property name="expand">False</property>
1300 <property name="homogeneous">True</property>
1301 </packing>
1302 </child>
1303 <child>
1304 <widget class="GtkSeparatorToolItem" id="separatortoolitem3">
1305 <property name="visible">True</property>
1306 <property name="can_focus">False</property>
1307 </widget>
1308 <packing>
1309 <property name="expand">False</property>
1310 </packing>
1311 </child>
1312 <child>
1313 <widget class="GtkToolItem" id="toolitem3">
1314 <property name="visible">True</property>
1315 <property name="can_focus">False</property>
1316 <property name="use_action_appearance">False</property>
1317 <child>
1318 <widget class="GtkFrame" id="frame1">
1319 <property name="visible">True</property>
1320 <property name="can_focus">False</property>
1321 <property name="label_xalign">0</property>
1322 <property name="shadow_type">none</property>
1323 <child>
1324 <widget class="GtkAlignment" id="alignment1">
1325 <property name="visible">True</property>
1326 <property name="can_focus">False</property>
1327 <child>
1328 <widget class="GtkHBox" id="hbox3">
1329 <property name="visible">True</property>
1330 <property name="can_focus">False</property>
1331 <child>
1332 <widget class="GtkComboBox" id="methodsel">
1333 <property name="visible">True</property>
1334 <property name="can_focus">False</property>
1335 </widget>
1336 <packing>
1337 <property name="expand">True</property>
1338 <property name="fill">True</property>
1339 <property name="position">0</property>
1340 </packing>
1341 </child>
1342 <child>
1343 <widget class="GtkButton" id="methodrunbutton">
1344 <property name="label" translatable="yes">_Run</property>
1345 <property name="visible">True</property>
1346 <property name="can_focus">True</property>
1347 <property name="receives_default">False</property>
1348 <property name="use_action_appearance">False</property>
1349 <property name="use_underline">True</property>
1350 </widget>
1351 <packing>
1352 <property name="expand">False</property>
1353 <property name="fill">False</property>
1354 <property name="padding">4</property>
1355 <property name="position">1</property>
1356 </packing>
1357 </child>
1358 </widget>
1359 </child>
1360 </widget>
1361 </child>
1362 <child>
1363 <widget class="GtkLabel" id="label8">
1364 <property name="visible">True</property>
1365 <property name="can_focus">False</property>
1366 <property name="ypad">3</property>
1367 <property name="label" translatable="yes">Methods</property>
1368 <property name="use_markup">True</property>
1369 </widget>
1370 <packing>
1371 <property name="type">label_item</property>
1372 </packing>
1373 </child>
1374 </widget>
1375 </child>
1376 </widget>
1377 <packing>
1378 <property name="expand">False</property>
1379 </packing>
1380 </child>
1381 </widget>
1382 <packing>
1383 <property name="expand">False</property>
1384 <property name="fill">False</property>
1385 <property name="position">1</property>
1386 </packing>
1387 </child>
1388 <child>
1389 <widget class="GtkVPaned" id="browserpaned">
1390 <property name="height_request">320</property>
1391 <property name="visible">True</property>
1392 <property name="can_focus">True</property>
1393 <property name="position">421</property>
1394 <child>
1395 <widget class="GtkScrolledWindow" id="scrolledwindow11">
1396 <property name="height_request">400</property>
1397 <property name="visible">True</property>
1398 <property name="can_focus">True</property>
1399 <property name="hscrollbar_policy">automatic</property>
1400 <property name="vscrollbar_policy">automatic</property>
1401 <child>
1402 <widget class="GtkViewport" id="viewport2">
1403 <property name="visible">True</property>
1404 <property name="can_focus">False</property>
1405 <child>
1406 <widget class="GtkNotebook" id="maintabs">
1407 <property name="visible">True</property>
1408 <property name="can_focus">True</property>
1409 <signal name="switch_page" handler="on_maintabs_switch_page" swapped="no"/>
1410 <child>
1411 <widget class="GtkScrolledWindow" id="scrolledwindow12">
1412 <property name="visible">True</property>
1413 <property name="can_focus">True</property>
1414 <property name="hscrollbar_policy">automatic</property>
1415 <property name="vscrollbar_policy">automatic</property>
1416 <child>
1417 <widget class="GtkTreeView" id="moduleview">
1418 <property name="visible">True</property>
1419 <property name="can_focus">True</property>
1420 <signal name="row_activated" handler="on_moduleview_row_activated" swapped="no"/>
1421 </widget>
1422 </child>
1423 </widget>
1424 </child>
1425 <child>
1426 <widget class="GtkLabel" id="moduletab">
1427 <property name="visible">True</property>
1428 <property name="can_focus">False</property>
1429 <property name="label" translatable="yes">Modules</property>
1430 <property name="mnemonic_widget">moduleview</property>
1431 </widget>
1432 <packing>
1433 <property name="tab_fill">False</property>
1434 <property name="type">tab</property>
1435 </packing>
1436 </child>
1437 <child>
1438 <widget class="GtkScrolledWindow" id="scrolledwindow13">
1439 <property name="visible">True</property>
1440 <property name="can_focus">True</property>
1441 <property name="hscrollbar_policy">automatic</property>
1442 <property name="vscrollbar_policy">automatic</property>
1443 <child>
1444 <widget class="GtkTreeView" id="browserview">
1445 <property name="visible">True</property>
1446 <property name="can_focus">True</property>
1447 <property name="has_focus">True</property>
1448 <signal name="key_press_event" handler="on_browserview_key_press_event" swapped="no"/>
1449 </widget>
1450 </child>
1451 </widget>
1452 <packing>
1453 <property name="position">1</property>
1454 </packing>
1455 </child>
1456 <child>
1457 <widget class="GtkLabel" id="label10">
1458 <property name="visible">True</property>
1459 <property name="can_focus">False</property>
1460 <property name="label" translatable="yes">Simulation </property>
1461 </widget>
1462 <packing>
1463 <property name="position">1</property>
1464 <property name="tab_fill">False</property>
1465 <property name="type">tab</property>
1466 </packing>
1467 </child>
1468 </widget>
1469 </child>
1470 </widget>
1471 </child>
1472 </widget>
1473 <packing>
1474 <property name="resize">False</property>
1475 <property name="shrink">True</property>
1476 </packing>
1477 </child>
1478 <child>
1479 <widget class="GtkNotebook" id="lowertabs">
1480 <property name="visible">True</property>
1481 <property name="can_focus">True</property>
1482 <child>
1483 <widget class="GtkScrolledWindow" id="scrolledwindow10">
1484 <property name="visible">True</property>
1485 <property name="can_focus">True</property>
1486 <property name="hscrollbar_policy">automatic</property>
1487 <property name="vscrollbar_policy">automatic</property>
1488 <property name="shadow_type">in</property>
1489 <child>
1490 <widget class="GtkTreeView" id="errorview">
1491 <property name="height_request">202</property>
1492 <property name="visible">True</property>
1493 <property name="can_focus">True</property>
1494 </widget>
1495 </child>
1496 </widget>
1497 </child>
1498 <child>
1499 <widget class="GtkLabel" id="errortab">
1500 <property name="visible">True</property>
1501 <property name="can_focus">False</property>
1502 <property name="label" translatable="yes">Errors / Warnings</property>
1503 </widget>
1504 <packing>
1505 <property name="tab_fill">False</property>
1506 <property name="type">tab</property>
1507 </packing>
1508 </child>
1509 <child>
1510 <widget class="GtkScrolledWindow" id="consolescroll">
1511 <property name="visible">True</property>
1512 <property name="can_focus">True</property>
1513 <property name="hscrollbar_policy">automatic</property>
1514 <property name="vscrollbar_policy">automatic</property>
1515 <child>
1516 <placeholder/>
1517 </child>
1518 </widget>
1519 <packing>
1520 <property name="position">1</property>
1521 </packing>
1522 </child>
1523 <child>
1524 <widget class="GtkHBox" id="hbox21">
1525 <property name="visible">True</property>
1526 <property name="can_focus">False</property>
1527 <child>
1528 <widget class="GtkLabel" id="consoletab">
1529 <property name="visible">True</property>
1530 <property name="can_focus">False</property>
1531 <property name="label" translatable="yes">Console</property>
1532 </widget>
1533 <packing>
1534 <property name="expand">False</property>
1535 <property name="fill">False</property>
1536 <property name="position">0</property>
1537 </packing>
1538 </child>
1539 <child>
1540 <widget class="GtkImage" id="image906">
1541 <property name="visible">True</property>
1542 <property name="sensitive">False</property>
1543 <property name="can_focus">False</property>
1544 <property name="stock">gtk-fullscreen</property>
1545 <property name="icon-size">1</property>
1546 </widget>
1547 <packing>
1548 <property name="expand">False</property>
1549 <property name="fill">False</property>
1550 <property name="position">1</property>
1551 </packing>
1552 </child>
1553 </widget>
1554 <packing>
1555 <property name="position">1</property>
1556 <property name="tab_fill">False</property>
1557 <property name="type">tab</property>
1558 </packing>
1559 </child>
1560 </widget>
1561 <packing>
1562 <property name="resize">True</property>
1563 <property name="shrink">True</property>
1564 </packing>
1565 </child>
1566 </widget>
1567 <packing>
1568 <property name="expand">True</property>
1569 <property name="fill">True</property>
1570 <property name="position">2</property>
1571 </packing>
1572 </child>
1573 <child>
1574 <widget class="GtkStatusbar" id="statusbar">
1575 <property name="visible">True</property>
1576 <property name="can_focus">False</property>
1577 </widget>
1578 <packing>
1579 <property name="expand">False</property>
1580 <property name="fill">False</property>
1581 <property name="position">3</property>
1582 </packing>
1583 </child>
1584 </widget>
1585 </child>
1586 </widget>
1587 <widget class="GtkDialog" id="diagnosewin">
1588 <property name="height_request">0</property>
1589 <property name="visible">True</property>
1590 <property name="can_focus">False</property>
1591 <property name="title" translatable="yes">Block Diagnosis</property>
1592 <property name="window_position">center-on-parent</property>
1593 <property name="destroy_with_parent">True</property>
1594 <property name="type_hint">dialog</property>
1595 <signal name="close" handler="on_diagnosewin_close" swapped="no"/>
1596 <child internal-child="vbox">
1597 <widget class="GtkVBox" id="dialog-vbox6">
1598 <property name="visible">True</property>
1599 <property name="can_focus">False</property>
1600 <child internal-child="action_area">
1601 <widget class="GtkHButtonBox" id="dialog-action_area6">
1602 <property name="visible">True</property>
1603 <property name="can_focus">False</property>
1604 <property name="layout_style">end</property>
1605 <child>
1606 <widget class="GtkButton" id="closebutton">
1607 <property name="label">gtk-close</property>
1608 <property name="response_id">-7</property>
1609 <property name="visible">True</property>
1610 <property name="can_focus">True</property>
1611 <property name="can_default">True</property>
1612 <property name="receives_default">False</property>
1613 <property name="use_action_appearance">False</property>
1614 <property name="use_stock">True</property>
1615 </widget>
1616 <packing>
1617 <property name="expand">False</property>
1618 <property name="fill">False</property>
1619 <property name="position">0</property>
1620 </packing>
1621 </child>
1622 </widget>
1623 <packing>
1624 <property name="expand">False</property>
1625 <property name="fill">True</property>
1626 <property name="pack_type">end</property>
1627 <property name="position">0</property>
1628 </packing>
1629 </child>
1630 <child>
1631 <widget class="GtkVBox" id="vbox8">
1632 <property name="visible">True</property>
1633 <property name="can_focus">False</property>
1634 <child>
1635 <widget class="GtkToolbar" id="toolbar5">
1636 <property name="visible">True</property>
1637 <property name="can_focus">False</property>
1638 <property name="toolbar_style">both</property>
1639 <child>
1640 <widget class="GtkToolButton" id="prevbigbutton">
1641 <property name="visible">True</property>
1642 <property name="can_focus">False</property>
1643 <property name="use_action_appearance">False</property>
1644 <property name="label" translatable="yes">Prev Big</property>
1645 <property name="use_underline">True</property>
1646 <property name="stock_id">gtk-media-rewind</property>
1647 <signal name="clicked" handler="on_prevbigbutton_clicked" swapped="no"/>
1648 </widget>
1649 <packing>
1650 <property name="expand">False</property>
1651 <property name="homogeneous">True</property>
1652 </packing>
1653 </child>
1654 <child>
1655 <widget class="GtkToolButton" id="prevbutton">
1656 <property name="visible">True</property>
1657 <property name="can_focus">False</property>
1658 <property name="use_action_appearance">False</property>
1659 <property name="stock_id">gtk-media-previous</property>
1660 <signal name="clicked" handler="on_prevbutton_clicked" swapped="no"/>
1661 </widget>
1662 <packing>
1663 <property name="expand">False</property>
1664 <property name="homogeneous">True</property>
1665 </packing>
1666 </child>
1667 <child>
1668 <widget class="GtkToolButton" id="nextbutton">
1669 <property name="visible">True</property>
1670 <property name="can_focus">False</property>
1671 <property name="use_action_appearance">False</property>
1672 <property name="stock_id">gtk-media-next</property>
1673 <signal name="clicked" handler="on_nextbutton_clicked" swapped="no"/>
1674 </widget>
1675 <packing>
1676 <property name="expand">False</property>
1677 <property name="homogeneous">True</property>
1678 </packing>
1679 </child>
1680 <child>
1681 <widget class="GtkToolButton" id="nextbigbutton">
1682 <property name="visible">True</property>
1683 <property name="can_focus">False</property>
1684 <property name="use_action_appearance">False</property>
1685 <property name="label" translatable="yes">Next Big</property>
1686 <property name="use_underline">True</property>
1687 <property name="stock_id">gtk-media-forward</property>
1688 <signal name="clicked" handler="on_nextbigbutton_clicked" swapped="no"/>
1689 </widget>
1690 <packing>
1691 <property name="expand">False</property>
1692 <property name="homogeneous">True</property>
1693 </packing>
1694 </child>
1695 <child>
1696 <widget class="GtkToolItem" id="toolitem11">
1697 <property name="visible">True</property>
1698 <property name="can_focus">False</property>
1699 <property name="use_action_appearance">False</property>
1700 <child>
1701 <widget class="GtkVBox" id="vbox9">
1702 <property name="visible">True</property>
1703 <property name="can_focus">False</property>
1704 <property name="border_width">6</property>
1705 <child>
1706 <widget class="GtkLabel" id="label38">
1707 <property name="visible">True</property>
1708 <property name="can_focus">False</property>
1709 <property name="xalign">0</property>
1710 <property name="label" translatable="yes">Block #</property>
1711 </widget>
1712 <packing>
1713 <property name="expand">False</property>
1714 <property name="fill">False</property>
1715 <property name="position">0</property>
1716 </packing>
1717 </child>
1718 <child>
1719 <widget class="GtkEntry" id="blockentry">
1720 <property name="width_request">59</property>
1721 <property name="visible">True</property>
1722 <property name="can_focus">True</property>
1723 <property name="text" translatable="yes">123</property>
1724 <property name="primary_icon_activatable">False</property>
1725 <property name="secondary_icon_activatable">False</property>
1726 <property name="primary_icon_sensitive">True</property>
1727 <property name="secondary_icon_sensitive">True</property>
1728 <signal name="key_press_event" handler="on_blockentry_key_press_event" swapped="no"/>
1729 </widget>
1730 <packing>
1731 <property name="expand">False</property>
1732 <property name="fill">True</property>
1733 <property name="position">1</property>
1734 </packing>
1735 </child>
1736 </widget>
1737 </child>
1738 </widget>
1739 <packing>
1740 <property name="expand">False</property>
1741 </packing>
1742 </child>
1743 <child>
1744 <widget class="GtkToolButton" id="zoominbutton">
1745 <property name="visible">True</property>
1746 <property name="can_focus">False</property>
1747 <property name="use_action_appearance">False</property>
1748 <property name="stock_id">gtk-zoom-in</property>
1749 <signal name="clicked" handler="on_zoominbutton_clicked" swapped="no"/>
1750 </widget>
1751 <packing>
1752 <property name="expand">False</property>
1753 <property name="homogeneous">True</property>
1754 </packing>
1755 </child>
1756 <child>
1757 <widget class="GtkToolButton" id="zoomoutbutton">
1758 <property name="visible">True</property>
1759 <property name="can_focus">False</property>
1760 <property name="use_action_appearance">False</property>
1761 <property name="stock_id">gtk-zoom-out</property>
1762 <signal name="clicked" handler="on_zoomoutbutton_clicked" swapped="no"/>
1763 </widget>
1764 <packing>
1765 <property name="expand">False</property>
1766 <property name="homogeneous">True</property>
1767 </packing>
1768 </child>
1769 <child>
1770 <widget class="GtkToolItem" id="toolitem24">
1771 <property name="visible">True</property>
1772 <property name="can_focus">False</property>
1773 <property name="use_action_appearance">False</property>
1774 <child>
1775 <widget class="GtkVBox" id="vbox13">
1776 <property name="visible">True</property>
1777 <property name="can_focus">False</property>
1778 <property name="border_width">6</property>
1779 <child>
1780 <widget class="GtkLabel" id="label44">
1781 <property name="visible">True</property>
1782 <property name="can_focus">False</property>
1783 <property name="xalign">0</property>
1784 <property name="label" translatable="yes">Zoom</property>
1785 </widget>
1786 <packing>
1787 <property name="expand">False</property>
1788 <property name="fill">False</property>
1789 <property name="position">0</property>
1790 </packing>
1791 </child>
1792 <child>
1793 <widget class="GtkEntry" id="zoomentry">
1794 <property name="width_request">59</property>
1795 <property name="visible">True</property>
1796 <property name="sensitive">False</property>
1797 <property name="can_focus">True</property>
1798 <property name="text" translatable="yes">123</property>
1799 <property name="primary_icon_activatable">False</property>
1800 <property name="secondary_icon_activatable">False</property>
1801 <property name="primary_icon_sensitive">True</property>
1802 <property name="secondary_icon_sensitive">True</property>
1803 <signal name="key_press_event" handler="on_blockentry_key_press_event" swapped="no"/>
1804 </widget>
1805 <packing>
1806 <property name="expand">False</property>
1807 <property name="fill">True</property>
1808 <property name="position">1</property>
1809 </packing>
1810 </child>
1811 </widget>
1812 </child>
1813 </widget>
1814 <packing>
1815 <property name="expand">False</property>
1816 </packing>
1817 </child>
1818 </widget>
1819 <packing>
1820 <property name="expand">False</property>
1821 <property name="fill">False</property>
1822 <property name="position">0</property>
1823 </packing>
1824 </child>
1825 <child>
1826 <widget class="GtkHPaned" id="hpaned1">
1827 <property name="visible">True</property>
1828 <property name="can_focus">True</property>
1829 <child>
1830 <widget class="GtkFrame" id="imageframe">
1831 <property name="visible">True</property>
1832 <property name="can_focus">False</property>
1833 <property name="label_xalign">0</property>
1834 <property name="shadow_type">in</property>
1835 <child>
1836 <widget class="GtkScrolledWindow" id="imagescroll">
1837 <property name="width_request">540</property>
1838 <property name="height_request">540</property>
1839 <property name="visible">True</property>
1840 <property name="can_focus">True</property>
1841 <property name="hscrollbar_policy">automatic</property>
1842 <property name="vscrollbar_policy">automatic</property>
1843 <child>
1844 <widget class="GtkViewport" id="imageview">
1845 <property name="visible">True</property>
1846 <property name="can_focus">False</property>
1847 <property name="shadow_type">none</property>
1848 <child>
1849 <widget class="GtkEventBox" id="imageevent">
1850 <property name="visible">True</property>
1851 <property name="can_focus">False</property>
1852 <signal name="button_press_event" handler="on_imageevent_button_press_event" swapped="no"/>
1853 <signal name="motion_notify_event" handler="on_imageevent_motion_notify_event" swapped="no"/>
1854 <child>
1855 <widget class="GtkImage" id="image">
1856 <property name="visible">True</property>
1857 <property name="can_focus">False</property>
1858 <property name="xalign">0</property>
1859 <property name="yalign">0</property>
1860 <property name="stock">gtk-missing-image</property>
1861 <signal name="motion_notify_event" handler="on_image_motion_notify_event" swapped="no"/>
1862 </widget>
1863 </child>
1864 </widget>
1865 </child>
1866 </widget>
1867 </child>
1868 </widget>
1869 </child>
1870 <child>
1871 <widget class="GtkLabel" id="label39">
1872 <property name="visible">True</property>
1873 <property name="can_focus">False</property>
1874 <property name="label" translatable="yes">&lt;b&gt;Incidence matrix&lt;/b&gt;</property>
1875 <property name="use_markup">True</property>
1876 </widget>
1877 <packing>
1878 <property name="type">label_item</property>
1879 </packing>
1880 </child>
1881 </widget>
1882 <packing>
1883 <property name="resize">True</property>
1884 <property name="shrink">True</property>
1885 </packing>
1886 </child>
1887 <child>
1888 <widget class="GtkVBox" id="vbox10">
1889 <property name="width_request">260</property>
1890 <property name="visible">True</property>
1891 <property name="can_focus">False</property>
1892 <property name="spacing">5</property>
1893 <child>
1894 <widget class="GtkFrame" id="frame1">
1895 <property name="visible">True</property>
1896 <property name="can_focus">False</property>
1897 <property name="label_xalign">0</property>
1898 <property name="shadow_type">in</property>
1899 <child>
1900 <widget class="GtkAlignment" id="alignment1">
1901 <property name="visible">True</property>
1902 <property name="can_focus">False</property>
1903 <property name="left_padding">12</property>
1904 <child>
1905 <widget class="GtkLabel" id="blockstatustext">
1906 <property name="visible">True</property>
1907 <property name="can_focus">False</property>
1908 <property name="xalign">0</property>
1909 <property name="ypad">4</property>
1910 </widget>
1911 </child>
1912 </widget>
1913 </child>
1914 <child>
1915 <widget class="GtkLabel" id="blockstatus1">
1916 <property name="visible">True</property>
1917 <property name="can_focus">False</property>
1918 <property name="label" translatable="yes">&lt;b&gt;Block status&lt;/b&gt;</property>
1919 <property name="use_markup">True</property>
1920 </widget>
1921 <packing>
1922 <property name="type">label_item</property>
1923 </packing>
1924 </child>
1925 </widget>
1926 <packing>
1927 <property name="expand">False</property>
1928 <property name="fill">True</property>
1929 <property name="position">0</property>
1930 </packing>
1931 </child>
1932 <child>
1933 <widget class="GtkFrame" id="frame6">
1934 <property name="visible">True</property>
1935 <property name="can_focus">False</property>
1936 <property name="label_xalign">0</property>
1937 <property name="shadow_type">in</property>
1938 <child>
1939 <widget class="GtkAlignment" id="alignment6">
1940 <property name="visible">True</property>
1941 <property name="can_focus">False</property>
1942 <property name="left_padding">2</property>
1943 <child>
1944 <widget class="GtkTable" id="table3">
1945 <property name="visible">True</property>
1946 <property name="can_focus">False</property>
1947 <property name="n_rows">2</property>
1948 <property name="n_columns">3</property>
1949 <property name="column_spacing">7</property>
1950 <property name="row_spacing">5</property>
1951 <child>
1952 <widget class="GtkLabel" id="label46">
1953 <property name="visible">True</property>
1954 <property name="can_focus">False</property>
1955 <property name="xalign">0</property>
1956 <property name="label" translatable="yes">&lt;u&gt;v&lt;/u&gt;ar</property>
1957 <property name="use_markup">True</property>
1958 </widget>
1959 <packing>
1960 <property name="x_options"></property>
1961 <property name="y_options"></property>
1962 </packing>
1963 </child>
1964 <child>
1965 <widget class="GtkLabel" id="label47">
1966 <property name="visible">True</property>
1967 <property name="can_focus">False</property>
1968 <property name="xalign">0</property>
1969 <property name="label" translatable="yes">&lt;u&gt;r&lt;/u&gt;el</property>
1970 <property name="use_markup">True</property>
1971 </widget>
1972 <packing>
1973 <property name="top_attach">1</property>
1974 <property name="bottom_attach">2</property>
1975 <property name="x_options"></property>
1976 <property name="y_options"></property>
1977 </packing>
1978 </child>
1979 <child>
1980 <widget class="GtkVBox" id="vbox14">
1981 <property name="visible">True</property>
1982 <property name="can_focus">False</property>
1983 <child>
1984 <widget class="GtkEntry" id="varname1">
1985 <property name="visible">True</property>
1986 <property name="can_focus">True</property>
1987 <property name="primary_icon_activatable">False</property>
1988 <property name="secondary_icon_activatable">False</property>
1989 <property name="primary_icon_sensitive">True</property>
1990 <property name="secondary_icon_sensitive">True</property>
1991 </widget>
1992 <packing>
1993 <property name="expand">False</property>
1994 <property name="fill">False</property>
1995 <property name="position">0</property>
1996 </packing>
1997 </child>
1998 <child>
1999 <widget class="GtkHBox" id="hbox12">
2000 <property name="visible">True</property>
2001 <property name="can_focus">False</property>
2002 <child>
2003 <widget class="GtkEntry" id="varval">
2004 <property name="width_request">100</property>
2005 <property name="visible">True</property>
2006 <property name="can_focus">True</property>
2007 <property name="primary_icon_activatable">False</property>
2008 <property name="secondary_icon_activatable">False</property>
2009 <property name="primary_icon_sensitive">True</property>
2010 <property name="secondary_icon_sensitive">True</property>
2011 </widget>
2012 <packing>
2013 <property name="expand">True</property>
2014 <property name="fill">True</property>
2015 <property name="position">0</property>
2016 </packing>
2017 </child>
2018 </widget>
2019 <packing>
2020 <property name="expand">True</property>
2021 <property name="fill">True</property>
2022 <property name="position">1</property>
2023 </packing>
2024 </child>
2025 </widget>
2026 <packing>
2027 <property name="left_attach">1</property>
2028 <property name="right_attach">2</property>
2029 <property name="y_options"></property>
2030 </packing>
2031 </child>
2032 <child>
2033 <widget class="GtkVBox" id="vbox15">
2034 <property name="visible">True</property>
2035 <property name="can_focus">False</property>
2036 <child>
2037 <widget class="GtkEntry" id="relname1">
2038 <property name="visible">True</property>
2039 <property name="can_focus">True</property>
2040 <property name="primary_icon_activatable">False</property>
2041 <property name="secondary_icon_activatable">False</property>
2042 <property name="primary_icon_sensitive">True</property>
2043 <property name="secondary_icon_sensitive">True</property>
2044 </widget>
2045 <packing>
2046 <property name="expand">False</property>
2047 <property name="fill">False</property>
2048 <property name="position">0</property>
2049 </packing>
2050 </child>
2051 <child>
2052 <widget class="GtkHBox" id="hbox13">
2053 <property name="visible">True</property>
2054 <property name="can_focus">False</property>
2055 <child>
2056 <widget class="GtkEntry" id="relresid">
2057 <property name="width_request">100</property>
2058 <property name="visible">True</property>
2059 <property name="can_focus">True</property>
2060 <property name="primary_icon_activatable">False</property>
2061 <property name="secondary_icon_activatable">False</property>
2062 <property name="primary_icon_sensitive">True</property>
2063 <property name="secondary_icon_sensitive">True</property>
2064 </widget>
2065 <packing>
2066 <property name="expand">True</property>
2067 <property name="fill">True</property>
2068 <property name="position">0</property>
2069 </packing>
2070 </child>
2071 <child>
2072 <widget class="GtkLabel" id="label48">
2073 <property name="visible">True</property>
2074 <property name="can_focus">False</property>
2075 <property name="xpad">2</property>
2076 <property name="label" translatable="yes">resid.</property>
2077 </widget>
2078 <packing>
2079 <property name="expand">False</property>
2080 <property name="fill">False</property>
2081 <property name="position">1</property>
2082 </packing>
2083 </child>
2084 </widget>
2085 <packing>
2086 <property name="expand">True</property>
2087 <property name="fill">True</property>
2088 <property name="position">1</property>
2089 </packing>
2090 </child>
2091 </widget>
2092 <packing>
2093 <property name="left_attach">1</property>
2094 <property name="right_attach">2</property>
2095 <property name="top_attach">1</property>
2096 <property name="bottom_attach">2</property>
2097 <property name="x_options"></property>
2098 <property name="y_options"></property>
2099 </packing>
2100 </child>
2101 <child>
2102 <widget class="GtkButton" id="varinfobutton">
2103 <property name="visible">True</property>
2104 <property name="can_focus">True</property>
2105 <property name="receives_default">False</property>
2106 <property name="use_action_appearance">False</property>
2107 <signal name="clicked" handler="on_varinfobutton_clicked" swapped="no"/>
2108 <accelerator key="v" signal="clicked" modifiers="GDK_MOD1_MASK"/>
2109 <accelerator key="v" signal="clicked" modifiers="GDK_CONTROL_MASK"/>
2110 <child>
2111 <widget class="GtkImage" id="varinfoimg">
2112 <property name="visible">True</property>
2113 <property name="can_focus">False</property>
2114 <property name="stock">gtk-dialog-question</property>
2115 </widget>
2116 </child>
2117 </widget>
2118 <packing>
2119 <property name="left_attach">2</property>
2120 <property name="right_attach">3</property>
2121 <property name="x_options"></property>
2122 <property name="y_options"></property>
2123 </packing>
2124 </child>
2125 <child>
2126 <widget class="GtkButton" id="relinfobutton">
2127 <property name="visible">True</property>
2128 <property name="can_focus">True</property>
2129 <property name="receives_default">False</property>
2130 <property name="use_action_appearance">False</property>
2131 <signal name="clicked" handler="on_relinfobutton_clicked" swapped="no"/>
2132 <accelerator key="r" signal="clicked" modifiers="GDK_MOD1_MASK"/>
2133 <accelerator key="r" signal="clicked" modifiers="GDK_CONTROL_MASK"/>
2134 <child>
2135 <widget class="GtkImage" id="relinfoimg">
2136 <property name="visible">True</property>
2137 <property name="can_focus">False</property>
2138 <property name="stock">gtk-dialog-question</property>
2139 </widget>
2140 </child>
2141 </widget>
2142 <packing>
2143 <property name="left_attach">2</property>
2144 <property name="right_attach">3</property>
2145 <property name="top_attach">1</property>
2146 <property name="bottom_attach">2</property>
2147 <property name="x_options"></property>
2148 <property name="y_options"></property>
2149 </packing>
2150 </child>
2151 </widget>
2152 </child>
2153 </widget>
2154 </child>
2155 <child>
2156 <widget class="GtkLabel" id="label45">
2157 <property name="visible">True</property>
2158 <property name="can_focus">False</property>
2159 <property name="label" translatable="yes">&lt;b&gt;Cursor&lt;/b&gt; (click-and-drag over matrix)</property>
2160 <property name="use_markup">True</property>
2161 </widget>
2162 <packing>
2163 <property name="type">label_item</property>
2164 </packing>
2165 </child>
2166 </widget>
2167 <packing>
2168 <property name="expand">False</property>
2169 <property name="fill">True</property>
2170 <property name="position">1</property>
2171 </packing>
2172 </child>
2173 <child>
2174 <widget class="GtkFrame" id="frame4">
2175 <property name="visible">True</property>
2176 <property name="can_focus">False</property>
2177 <property name="label_xalign">0</property>
2178 <property name="shadow_type">in</property>
2179 <child>
2180 <widget class="GtkAlignment" id="alignment4">
2181 <property name="visible">True</property>
2182 <property name="can_focus">False</property>
2183 <property name="left_padding">12</property>
2184 <child>
2185 <widget class="GtkVBox" id="vbox12">
2186 <property name="visible">True</property>
2187 <property name="can_focus">False</property>
2188 <child>
2189 <widget class="GtkScrolledWindow" id="scrolledwindow17">
2190 <property name="visible">True</property>
2191 <property name="can_focus">True</property>
2192 <property name="hscrollbar_policy">automatic</property>
2193 <property name="vscrollbar_policy">automatic</property>
2194 <property name="shadow_type">in</property>
2195 <child>
2196 <widget class="GtkTextView" id="varview">
2197 <property name="visible">True</property>
2198 <property name="can_focus">True</property>
2199 </widget>
2200 </child>
2201 </widget>
2202 <packing>
2203 <property name="expand">True</property>
2204 <property name="fill">True</property>
2205 <property name="position">0</property>
2206 </packing>
2207 </child>
2208 <child>
2209 <widget class="GtkToolbar" id="toolbar7">
2210 <property name="visible">True</property>
2211 <property name="can_focus">False</property>
2212 <property name="toolbar_style">both</property>
2213 <child>
2214 <widget class="GtkToolItem" id="toolitem20">
2215 <property name="visible">True</property>
2216 <property name="can_focus">False</property>
2217 <property name="use_action_appearance">False</property>
2218 <child>
2219 <widget class="GtkLabel" id="label43">
2220 <property name="visible">True</property>
2221 <property name="can_focus">False</property>
2222 <property name="label" translatable="yes">Show</property>
2223 </widget>
2224 </child>
2225 </widget>
2226 <packing>
2227 <property name="expand">False</property>
2228 </packing>
2229 </child>
2230 <child>
2231 <widget class="GtkToolItem" id="toolitem21">
2232 <property name="visible">True</property>
2233 <property name="can_focus">False</property>
2234 <property name="use_action_appearance">False</property>
2235 <child>
2236 <widget class="GtkCheckButton" id="varcollapsed">
2237 <property name="label" translatable="yes">collapsed</property>
2238 <property name="visible">True</property>
2239 <property name="can_focus">True</property>
2240 <property name="receives_default">False</property>
2241 <property name="use_action_appearance">False</property>
2242 <property name="use_underline">True</property>
2243 <property name="draw_indicator">True</property>
2244 <signal name="toggled" handler="on_varcollapsed_toggled" swapped="no"/>
2245 </widget>
2246 </child>
2247 </widget>
2248 <packing>
2249 <property name="expand">False</property>
2250 </packing>
2251 </child>
2252 <child>
2253 <widget class="GtkToolItem" id="toolitem22">
2254 <property name="visible">True</property>
2255 <property name="can_focus">False</property>
2256 <property name="use_action_appearance">False</property>
2257 <child>
2258 <widget class="GtkCheckButton" id="varvalues">
2259 <property name="label" translatable="yes">values</property>
2260 <property name="visible">True</property>
2261 <property name="can_focus">True</property>
2262 <property name="receives_default">False</property>
2263 <property name="use_action_appearance">False</property>
2264 <property name="use_underline">True</property>
2265 <property name="draw_indicator">True</property>
2266 </widget>
2267 </child>
2268 </widget>
2269 <packing>
2270 <property name="expand">False</property>
2271 </packing>
2272 </child>
2273 </widget>
2274 <packing>
2275 <property name="expand">False</property>
2276 <property name="fill">False</property>
2277 <property name="position">1</property>
2278 </packing>
2279 </child>
2280 </widget>
2281 </child>
2282 </widget>
2283 </child>
2284 <child>
2285 <widget class="GtkLabel" id="label40">
2286 <property name="visible">True</property>
2287 <property name="can_focus">False</property>
2288 <property name="label" translatable="yes">&lt;b&gt;Variables &lt;/b&gt;</property>
2289 <property name="use_markup">True</property>
2290 </widget>
2291 <packing>
2292 <property name="type">label_item</property>
2293 </packing>
2294 </child>
2295 </widget>
2296 <packing>
2297 <property name="expand">True</property>
2298 <property name="fill">True</property>
2299 <property name="position">2</property>
2300 </packing>
2301 </child>
2302 <child>
2303 <widget class="GtkFrame" id="frame5">
2304 <property name=