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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 249 - (show annotations) (download)
Wed Feb 1 03:22:11 2006 UTC (14 years, 9 months ago) by johnpye
File size: 59680 byte(s)
Working (read-only) observer thing. Observer instances are updated in the table
and if you click 'add' on the observer tab, the current values are kept and a new
row is added.
1 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
2 <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
3
4 <glade-interface>
5
6 <widget class="GtkWindow" id="browserwin">
7 <property name="visible">True</property>
8 <property name="title" translatable="yes">ASCEND PyGTK</property>
9 <property name="type">GTK_WINDOW_TOPLEVEL</property>
10 <property name="window_position">GTK_WIN_POS_NONE</property>
11 <property name="modal">False</property>
12 <property name="default_width">600</property>
13 <property name="default_height">768</property>
14 <property name="resizable">True</property>
15 <property name="destroy_with_parent">False</property>
16 <property name="icon_name">stock_fontwork</property>
17 <property name="decorated">True</property>
18 <property name="skip_taskbar_hint">False</property>
19 <property name="skip_pager_hint">False</property>
20 <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
21 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
22 <property name="focus_on_map">True</property>
23 <signal name="check_resize" handler="on_browserwin_check_resize" last_modification_time="Thu, 17 Nov 2005 15:56:29 GMT"/>
24 <signal name="focus" handler="on_browserwin_focus" last_modification_time="Sun, 04 Dec 2005 05:39:42 GMT"/>
25
26 <child>
27 <widget class="GtkVBox" id="vbox5">
28 <property name="visible">True</property>
29 <property name="homogeneous">False</property>
30 <property name="spacing">0</property>
31
32 <child>
33 <widget class="GtkMenuBar" id="browsermenu">
34 <property name="visible">True</property>
35
36 <child>
37 <widget class="GtkMenuItem" id="menuitem8">
38 <property name="visible">True</property>
39 <property name="label" translatable="yes">_File</property>
40 <property name="use_underline">True</property>
41
42 <child>
43 <widget class="GtkMenu" id="menuitem8_menu">
44
45 <child>
46 <widget class="GtkImageMenuItem" id="open2">
47 <property name="visible">True</property>
48 <property name="label">gtk-open</property>
49 <property name="use_stock">True</property>
50 <signal name="activate" handler="open_click" last_modification_time="Tue, 24 Jan 2006 02:52:29 GMT"/>
51 </widget>
52 </child>
53
54 <child>
55 <widget class="GtkImageMenuItem" id="reload">
56 <property name="visible">True</property>
57 <property name="label" translatable="yes">_Reload</property>
58 <property name="use_underline">True</property>
59 <signal name="activate" handler="reload_click" last_modification_time="Tue, 24 Jan 2006 02:52:29 GMT"/>
60 <accelerator key="F5" modifiers="GDK_CONTROL_MASK" signal="activate"/>
61
62 <child internal-child="image">
63 <widget class="GtkImage" id="image114">
64 <property name="visible">True</property>
65 <property name="stock">gtk-refresh</property>
66 <property name="icon_size">1</property>
67 <property name="xalign">0.5</property>
68 <property name="yalign">0.5</property>
69 <property name="xpad">0</property>
70 <property name="ypad">0</property>
71 </widget>
72 </child>
73 </widget>
74 </child>
75
76 <child>
77 <widget class="GtkSeparatorMenuItem" id="separatormenuitem2">
78 <property name="visible">True</property>
79 </widget>
80 </child>
81
82 <child>
83 <widget class="GtkImageMenuItem" id="quit">
84 <property name="visible">True</property>
85 <property name="label">gtk-quit</property>
86 <property name="use_stock">True</property>
87 <signal name="activate" handler="on_file_quit_click" last_modification_time="Sun, 29 Jan 2006 06:48:50 GMT"/>
88 </widget>
89 </child>
90 </widget>
91 </child>
92 </widget>
93 </child>
94
95 <child>
96 <widget class="GtkMenuItem" id="tools">
97 <property name="visible">True</property>
98 <property name="label" translatable="yes">_Tools</property>
99 <property name="use_underline">True</property>
100
101 <child>
102 <widget class="GtkMenu" id="tools_menu">
103
104 <child>
105 <widget class="GtkImageMenuItem" id="solve1">
106 <property name="visible">True</property>
107 <property name="label" translatable="yes">Sol_ve</property>
108 <property name="use_underline">True</property>
109 <signal name="activate" handler="solve_click" last_modification_time="Tue, 24 Jan 2006 02:52:29 GMT"/>
110 <accelerator key="F9" modifiers="0" signal="activate"/>
111
112 <child internal-child="image">
113 <widget class="GtkImage" id="image115">
114 <property name="visible">True</property>
115 <property name="stock">gtk-media-forward</property>
116 <property name="icon_size">1</property>
117 <property name="xalign">0.5</property>
118 <property name="yalign">0.5</property>
119 <property name="xpad">0</property>
120 <property name="ypad">0</property>
121 </widget>
122 </child>
123 </widget>
124 </child>
125
126 <child>
127 <widget class="GtkImageMenuItem" id="check1">
128 <property name="visible">True</property>
129 <property name="label" translatable="yes">_Check</property>
130 <property name="use_underline">True</property>
131 <signal name="activate" handler="check_click" last_modification_time="Tue, 24 Jan 2006 02:52:29 GMT"/>
132 <accelerator key="F7" modifiers="0" signal="activate"/>
133
134 <child internal-child="image">
135 <widget class="GtkImage" id="image116">
136 <property name="visible">True</property>
137 <property name="stock">gtk-spell-check</property>
138 <property name="icon_size">1</property>
139 <property name="xalign">0.5</property>
140 <property name="yalign">0.5</property>
141 <property name="xpad">0</property>
142 <property name="ypad">0</property>
143 </widget>
144 </child>
145 </widget>
146 </child>
147
148 <child>
149 <widget class="GtkImageMenuItem" id="sparsity">
150 <property name="visible">True</property>
151 <property name="tooltip" translatable="yes">View the incidence matrix from the solver</property>
152 <property name="label" translatable="yes">_Incidence matrix...</property>
153 <property name="use_underline">True</property>
154 <signal name="activate" handler="on_tools_sparsity_click" last_modification_time="Sun, 29 Jan 2006 07:29:07 GMT"/>
155 <accelerator key="I" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/>
156
157 <child internal-child="image">
158 <widget class="GtkImage" id="image117">
159 <property name="visible">True</property>
160 <property name="pixbuf">incidence.png</property>
161 <property name="xalign">0.5</property>
162 <property name="yalign">0.5</property>
163 <property name="xpad">0</property>
164 <property name="ypad">0</property>
165 </widget>
166 </child>
167 </widget>
168 </child>
169
170 <child>
171 <widget class="GtkSeparatorMenuItem" id="separator3">
172 <property name="visible">True</property>
173 </widget>
174 </child>
175
176 <child>
177 <widget class="GtkImageMenuItem" id="add_observer">
178 <property name="visible">True</property>
179 <property name="label" translatable="yes">Add Observer</property>
180 <property name="use_underline">True</property>
181 <signal name="activate" handler="on_add_observer_click" last_modification_time="Tue, 31 Jan 2006 07:41:27 GMT"/>
182 <accelerator key="O" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/>
183
184 <child internal-child="image">
185 <widget class="GtkImage" id="image118">
186 <property name="visible">True</property>
187 <property name="stock">gtk-add</property>
188 <property name="icon_size">1</property>
189 <property name="xalign">0.5</property>
190 <property name="yalign">0.5</property>
191 <property name="xpad">0</property>
192 <property name="ypad">0</property>
193 </widget>
194 </child>
195 </widget>
196 </child>
197
198 <child>
199 <widget class="GtkSeparatorMenuItem" id="separator4">
200 <property name="visible">True</property>
201 </widget>
202 </child>
203
204 <child>
205 <widget class="GtkCheckMenuItem" id="automenu">
206 <property name="visible">True</property>
207 <property name="tooltip" translatable="yes">Solve automatically after values change</property>
208 <property name="label" translatable="yes">_Auto</property>
209 <property name="use_underline">True</property>
210 <property name="active">True</property>
211 <signal name="activate" handler="on_tools_auto_toggle" last_modification_time="Sun, 29 Jan 2006 06:55:49 GMT"/>
212 <accelerator key="A" modifiers="GDK_CONTROL_MASK | GDK_SHIFT_MASK" signal="activate"/>
213 </widget>
214 </child>
215
216 <child>
217 <widget class="GtkImageMenuItem" id="preferences">
218 <property name="visible">True</property>
219 <property name="label" translatable="yes">Solver _Parameters...</property>
220 <property name="use_underline">True</property>
221 <signal name="activate" handler="preferences_click" last_modification_time="Tue, 24 Jan 2006 02:52:29 GMT"/>
222 <accelerator key="F11" modifiers="0" signal="activate"/>
223
224 <child internal-child="image">
225 <widget class="GtkImage" id="image119">
226 <property name="visible">True</property>
227 <property name="stock">gtk-preferences</property>
228 <property name="icon_size">1</property>
229 <property name="xalign">0.5</property>
230 <property name="yalign">0.5</property>
231 <property name="xpad">0</property>
232 <property name="ypad">0</property>
233 </widget>
234 </child>
235 </widget>
236 </child>
237 </widget>
238 </child>
239 </widget>
240 </child>
241
242 <child>
243 <widget class="GtkMenuItem" id="help">
244 <property name="visible">True</property>
245 <property name="label" translatable="yes">_Help</property>
246 <property name="use_underline">True</property>
247
248 <child>
249 <widget class="GtkMenu" id="help_menu">
250
251 <child>
252 <widget class="GtkImageMenuItem" id="contents">
253 <property name="visible">True</property>
254 <property name="label" translatable="yes">_Contents</property>
255 <property name="use_underline">True</property>
256 <signal name="activate" handler="on_help_contents_click" last_modification_time="Sun, 29 Jan 2006 06:36:19 GMT"/>
257
258 <child internal-child="image">
259 <widget class="GtkImage" id="image120">
260 <property name="visible">True</property>
261 <property name="stock">gtk-help</property>
262 <property name="icon_size">1</property>
263 <property name="xalign">0.5</property>
264 <property name="yalign">0.5</property>
265 <property name="xpad">0</property>
266 <property name="ypad">0</property>
267 </widget>
268 </child>
269 </widget>
270 </child>
271
272 <child>
273 <widget class="GtkImageMenuItem" id="about">
274 <property name="visible">True</property>
275 <property name="label">gtk-about</property>
276 <property name="use_stock">True</property>
277 <signal name="activate" handler="on_help_about_click" last_modification_time="Sun, 29 Jan 2006 03:56:52 GMT"/>
278 </widget>
279 </child>
280 </widget>
281 </child>
282 </widget>
283 </child>
284 </widget>
285 <packing>
286 <property name="padding">0</property>
287 <property name="expand">False</property>
288 <property name="fill">False</property>
289 </packing>
290 </child>
291
292 <child>
293 <widget class="GtkToolbar" id="toolbar3">
294 <property name="visible">True</property>
295 <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
296 <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
297 <property name="tooltips">True</property>
298 <property name="show_arrow">True</property>
299
300 <child>
301 <widget class="GtkToolButton" id="openbutton">
302 <property name="visible">True</property>
303 <property name="stock_id">gtk-open</property>
304 <property name="visible_horizontal">True</property>
305 <property name="visible_vertical">True</property>
306 <property name="is_important">False</property>
307 <signal name="clicked" handler="on_openbutton_clicked" last_modification_time="Sun, 04 Dec 2005 05:48:03 GMT"/>
308 </widget>
309 <packing>
310 <property name="expand">False</property>
311 <property name="homogeneous">True</property>
312 </packing>
313 </child>
314
315 <child>
316 <widget class="GtkToolButton" id="reloadbutton">
317 <property name="visible">True</property>
318 <property name="label" translatable="yes">Re_load</property>
319 <property name="use_underline">True</property>
320 <property name="stock_id">gtk-refresh</property>
321 <property name="visible_horizontal">True</property>
322 <property name="visible_vertical">True</property>
323 <property name="is_important">False</property>
324 <signal name="clicked" handler="on_toolbutton11_clicked" last_modification_time="Sun, 04 Dec 2005 05:38:03 GMT"/>
325 </widget>
326 <packing>
327 <property name="expand">False</property>
328 <property name="homogeneous">True</property>
329 </packing>
330 </child>
331
332 <child>
333 <widget class="GtkSeparatorToolItem" id="separatortoolitem4">
334 <property name="visible">True</property>
335 <property name="draw">True</property>
336 <property name="visible_horizontal">True</property>
337 <property name="visible_vertical">True</property>
338 </widget>
339 <packing>
340 <property name="expand">False</property>
341 <property name="homogeneous">False</property>
342 </packing>
343 </child>
344
345 <child>
346 <widget class="GtkToolButton" id="solvebutton">
347 <property name="visible">True</property>
348 <property name="label" translatable="yes">_Solve</property>
349 <property name="use_underline">True</property>
350 <property name="stock_id">gtk-media-play</property>
351 <property name="visible_horizontal">True</property>
352 <property name="visible_vertical">True</property>
353 <property name="is_important">False</property>
354 <signal name="clicked" handler="on_solvebutton_clicked" last_modification_time="Thu, 17 Nov 2005 08:17:30 GMT"/>
355 </widget>
356 <packing>
357 <property name="expand">False</property>
358 <property name="homogeneous">True</property>
359 </packing>
360 </child>
361
362 <child>
363 <widget class="GtkToolButton" id="checkbutton">
364 <property name="visible">True</property>
365 <property name="label" translatable="yes">_Check</property>
366 <property name="use_underline">True</property>
367 <property name="stock_id">gtk-spell-check</property>
368 <property name="visible_horizontal">True</property>
369 <property name="visible_vertical">True</property>
370 <property name="is_important">False</property>
371 <signal name="clicked" handler="on_checkbutton_clicked" last_modification_time="Thu, 17 Nov 2005 08:17:40 GMT"/>
372 </widget>
373 <packing>
374 <property name="expand">False</property>
375 <property name="homogeneous">True</property>
376 </packing>
377 </child>
378
379 <child>
380 <widget class="GtkSeparatorToolItem" id="separatortoolitem5">
381 <property name="visible">True</property>
382 <property name="draw">True</property>
383 <property name="visible_horizontal">True</property>
384 <property name="visible_vertical">True</property>
385 </widget>
386 <packing>
387 <property name="expand">False</property>
388 <property name="homogeneous">False</property>
389 </packing>
390 </child>
391
392 <child>
393 <widget class="GtkToggleToolButton" id="autotoggle">
394 <property name="visible">True</property>
395 <property name="label" translatable="yes">_Auto</property>
396 <property name="use_underline">True</property>
397 <property name="stock_id">gtk-execute</property>
398 <property name="visible_horizontal">True</property>
399 <property name="visible_vertical">True</property>
400 <property name="is_important">False</property>
401 <property name="active">True</property>
402 <signal name="toggled" handler="on_toggletoolbutton1_toggled" last_modification_time="Thu, 17 Nov 2005 09:12:04 GMT"/>
403 </widget>
404 <packing>
405 <property name="expand">False</property>
406 <property name="homogeneous">True</property>
407 </packing>
408 </child>
409
410 <child>
411 <widget class="GtkSeparatorToolItem" id="separatortoolitem3">
412 <property name="visible">True</property>
413 <property name="draw">True</property>
414 <property name="visible_horizontal">True</property>
415 <property name="visible_vertical">True</property>
416 </widget>
417 <packing>
418 <property name="expand">False</property>
419 <property name="homogeneous">False</property>
420 </packing>
421 </child>
422
423 <child>
424 <widget class="GtkToolItem" id="toolitem3">
425 <property name="visible">True</property>
426 <property name="visible_horizontal">True</property>
427 <property name="visible_vertical">True</property>
428 <property name="is_important">False</property>
429
430 <child>
431 <widget class="GtkFrame" id="frame1">
432 <property name="visible">True</property>
433 <property name="label_xalign">0</property>
434 <property name="label_yalign">0.5</property>
435 <property name="shadow_type">GTK_SHADOW_NONE</property>
436
437 <child>
438 <widget class="GtkAlignment" id="alignment1">
439 <property name="visible">True</property>
440 <property name="xalign">0.5</property>
441 <property name="yalign">0.5</property>
442 <property name="xscale">1</property>
443 <property name="yscale">1</property>
444 <property name="top_padding">0</property>
445 <property name="bottom_padding">0</property>
446 <property name="left_padding">0</property>
447 <property name="right_padding">0</property>
448
449 <child>
450 <widget class="GtkHBox" id="hbox3">
451 <property name="visible">True</property>
452 <property name="homogeneous">False</property>
453 <property name="spacing">0</property>
454
455 <child>
456 <widget class="GtkComboBox" id="methodsel">
457 <property name="visible">True</property>
458 <property name="add_tearoffs">False</property>
459 <property name="focus_on_click">True</property>
460 </widget>
461 <packing>
462 <property name="padding">0</property>
463 <property name="expand">True</property>
464 <property name="fill">True</property>
465 </packing>
466 </child>
467
468 <child>
469 <widget class="GtkButton" id="methodrunbutton">
470 <property name="visible">True</property>
471 <property name="can_focus">True</property>
472 <property name="label" translatable="yes">_Run</property>
473 <property name="use_underline">True</property>
474 <property name="relief">GTK_RELIEF_NORMAL</property>
475 <property name="focus_on_click">True</property>
476 </widget>
477 <packing>
478 <property name="padding">4</property>
479 <property name="expand">False</property>
480 <property name="fill">False</property>
481 </packing>
482 </child>
483 </widget>
484 </child>
485 </widget>
486 </child>
487
488 <child>
489 <widget class="GtkLabel" id="label8">
490 <property name="visible">True</property>
491 <property name="label" translatable="yes">Methods</property>
492 <property name="use_underline">False</property>
493 <property name="use_markup">True</property>
494 <property name="justify">GTK_JUSTIFY_LEFT</property>
495 <property name="wrap">False</property>
496 <property name="selectable">False</property>
497 <property name="xalign">0.5</property>
498 <property name="yalign">0.5</property>
499 <property name="xpad">0</property>
500 <property name="ypad">3</property>
501 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
502 <property name="width_chars">-1</property>
503 <property name="single_line_mode">False</property>
504 <property name="angle">0</property>
505 </widget>
506 <packing>
507 <property name="type">label_item</property>
508 </packing>
509 </child>
510 </widget>
511 </child>
512 </widget>
513 <packing>
514 <property name="expand">False</property>
515 <property name="homogeneous">False</property>
516 </packing>
517 </child>
518 </widget>
519 <packing>
520 <property name="padding">0</property>
521 <property name="expand">False</property>
522 <property name="fill">False</property>
523 </packing>
524 </child>
525
526 <child>
527 <widget class="GtkVPaned" id="browserpaned">
528 <property name="height_request">320</property>
529 <property name="visible">True</property>
530 <property name="can_focus">True</property>
531 <property name="position">421</property>
532
533 <child>
534 <widget class="GtkScrolledWindow" id="scrolledwindow11">
535 <property name="height_request">400</property>
536 <property name="visible">True</property>
537 <property name="can_focus">True</property>
538 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
539 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
540 <property name="shadow_type">GTK_SHADOW_NONE</property>
541 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
542
543 <child>
544 <widget class="GtkViewport" id="viewport2">
545 <property name="visible">True</property>
546 <property name="shadow_type">GTK_SHADOW_IN</property>
547
548 <child>
549 <widget class="GtkNotebook" id="maintabs">
550 <property name="visible">True</property>
551 <property name="can_focus">True</property>
552 <property name="show_tabs">True</property>
553 <property name="show_border">True</property>
554 <property name="tab_pos">GTK_POS_TOP</property>
555 <property name="scrollable">False</property>
556 <property name="enable_popup">False</property>
557
558 <child>
559 <widget class="GtkScrolledWindow" id="scrolledwindow12">
560 <property name="visible">True</property>
561 <property name="can_focus">True</property>
562 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
563 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
564 <property name="shadow_type">GTK_SHADOW_NONE</property>
565 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
566
567 <child>
568 <widget class="GtkTreeView" id="moduleview">
569 <property name="visible">True</property>
570 <property name="can_focus">True</property>
571 <property name="headers_visible">True</property>
572 <property name="rules_hint">False</property>
573 <property name="reorderable">False</property>
574 <property name="enable_search">True</property>
575 <property name="fixed_height_mode">False</property>
576 <property name="hover_selection">False</property>
577 <property name="hover_expand">False</property>
578 <signal name="row_activated" handler="on_moduleview_row_activated" last_modification_time="Sun, 04 Dec 2005 13:02:19 GMT"/>
579 </widget>
580 </child>
581 </widget>
582 <packing>
583 <property name="tab_expand">False</property>
584 <property name="tab_fill">True</property>
585 </packing>
586 </child>
587
588 <child>
589 <widget class="GtkLabel" id="moduletab">
590 <property name="visible">True</property>
591 <property name="label" translatable="yes">Modules</property>
592 <property name="use_underline">False</property>
593 <property name="use_markup">False</property>
594 <property name="justify">GTK_JUSTIFY_LEFT</property>
595 <property name="wrap">False</property>
596 <property name="selectable">False</property>
597 <property name="xalign">0.5</property>
598 <property name="yalign">0.5</property>
599 <property name="xpad">0</property>
600 <property name="ypad">0</property>
601 <property name="mnemonic_widget">moduleview</property>
602 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
603 <property name="width_chars">-1</property>
604 <property name="single_line_mode">False</property>
605 <property name="angle">0</property>
606 </widget>
607 <packing>
608 <property name="type">tab</property>
609 </packing>
610 </child>
611
612 <child>
613 <widget class="GtkScrolledWindow" id="scrolledwindow13">
614 <property name="visible">True</property>
615 <property name="can_focus">True</property>
616 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
617 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
618 <property name="shadow_type">GTK_SHADOW_NONE</property>
619 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
620
621 <child>
622 <widget class="GtkTreeView" id="browserview">
623 <property name="visible">True</property>
624 <property name="can_focus">True</property>
625 <property name="has_focus">True</property>
626 <property name="headers_visible">True</property>
627 <property name="rules_hint">False</property>
628 <property name="reorderable">False</property>
629 <property name="enable_search">True</property>
630 <property name="fixed_height_mode">False</property>
631 <property name="hover_selection">False</property>
632 <property name="hover_expand">False</property>
633 <signal name="key_press_event" handler="on_browserview_key_press_event" last_modification_time="Thu, 17 Nov 2005 15:57:18 GMT"/>
634 </widget>
635 </child>
636 </widget>
637 <packing>
638 <property name="tab_expand">False</property>
639 <property name="tab_fill">True</property>
640 </packing>
641 </child>
642
643 <child>
644 <widget class="GtkLabel" id="label10">
645 <property name="visible">True</property>
646 <property name="label" translatable="yes">Simulation </property>
647 <property name="use_underline">False</property>
648 <property name="use_markup">False</property>
649 <property name="justify">GTK_JUSTIFY_LEFT</property>
650 <property name="wrap">False</property>
651 <property name="selectable">False</property>
652 <property name="xalign">0.5</property>
653 <property name="yalign">0.5</property>
654 <property name="xpad">0</property>
655 <property name="ypad">0</property>
656 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
657 <property name="width_chars">-1</property>
658 <property name="single_line_mode">False</property>
659 <property name="angle">0</property>
660 </widget>
661 <packing>
662 <property name="type">tab</property>
663 </packing>
664 </child>
665 </widget>
666 </child>
667 </widget>
668 </child>
669 </widget>
670 <packing>
671 <property name="shrink">True</property>
672 <property name="resize">False</property>
673 </packing>
674 </child>
675
676 <child>
677 <widget class="GtkNotebook" id="notebook4">
678 <property name="visible">True</property>
679 <property name="can_focus">True</property>
680 <property name="show_tabs">True</property>
681 <property name="show_border">True</property>
682 <property name="tab_pos">GTK_POS_TOP</property>
683 <property name="scrollable">False</property>
684 <property name="enable_popup">False</property>
685
686 <child>
687 <widget class="GtkScrolledWindow" id="scrolledwindow10">
688 <property name="visible">True</property>
689 <property name="can_focus">True</property>
690 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
691 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
692 <property name="shadow_type">GTK_SHADOW_IN</property>
693 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
694
695 <child>
696 <widget class="GtkTreeView" id="errorview">
697 <property name="height_request">202</property>
698 <property name="visible">True</property>
699 <property name="can_focus">True</property>
700 <property name="headers_visible">True</property>
701 <property name="rules_hint">False</property>
702 <property name="reorderable">False</property>
703 <property name="enable_search">True</property>
704 <property name="fixed_height_mode">False</property>
705 <property name="hover_selection">False</property>
706 <property name="hover_expand">False</property>
707 </widget>
708 </child>
709 </widget>
710 <packing>
711 <property name="tab_expand">False</property>
712 <property name="tab_fill">True</property>
713 </packing>
714 </child>
715
716 <child>
717 <widget class="GtkLabel" id="errortab">
718 <property name="visible">True</property>
719 <property name="label" translatable="yes">Errors / Warnings</property>
720 <property name="use_underline">False</property>
721 <property name="use_markup">False</property>
722 <property name="justify">GTK_JUSTIFY_LEFT</property>
723 <property name="wrap">False</property>
724 <property name="selectable">False</property>
725 <property name="xalign">0.5</property>
726 <property name="yalign">0.5</property>
727 <property name="xpad">0</property>
728 <property name="ypad">0</property>
729 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
730 <property name="width_chars">-1</property>
731 <property name="single_line_mode">False</property>
732 <property name="angle">0</property>
733 </widget>
734 <packing>
735 <property name="type">tab</property>
736 </packing>
737 </child>
738 </widget>
739 <packing>
740 <property name="shrink">True</property>
741 <property name="resize">True</property>
742 </packing>
743 </child>
744 </widget>
745 <packing>
746 <property name="padding">0</property>
747 <property name="expand">True</property>
748 <property name="fill">True</property>
749 </packing>
750 </child>
751
752 <child>
753 <widget class="GtkStatusbar" id="statusbar">
754 <property name="visible">True</property>
755 <property name="has_resize_grip">True</property>
756 </widget>
757 <packing>
758 <property name="padding">0</property>
759 <property name="expand">False</property>
760 <property name="fill">False</property>
761 </packing>
762 </child>
763 </widget>
764 </child>
765 </widget>
766
767 <widget class="GtkMenu" id="browsercontext">
768
769 <child>
770 <widget class="GtkImageMenuItem" id="fix1">
771 <property name="visible">True</property>
772 <property name="tooltip" translatable="yes">Make this a 'fixed' variable\n in the simulation</property>
773 <property name="label" translatable="yes">_Fix</property>
774 <property name="use_underline">True</property>
775 <signal name="activate" handler="on_fix1_activate" last_modification_time="Thu, 17 Nov 2005 12:34:26 GMT"/>
776 <accelerator key="f" modifiers="GDK_CONTROL_MASK" signal="activate"/>
777
778 <child internal-child="image">
779 <widget class="GtkImage" id="image11">
780 <property name="visible">True</property>
781 <property name="stock">gtk-yes</property>
782 <property name="icon_size">1</property>
783 <property name="xalign">0.5</property>
784 <property name="yalign">0.5</property>
785 <property name="xpad">0</property>
786 <property name="ypad">0</property>
787 </widget>
788 </child>
789 </widget>
790 </child>
791
792 <child>
793 <widget class="GtkImageMenuItem" id="free1">
794 <property name="visible">True</property>
795 <property name="tooltip" translatable="yes">Allow this variable to be varied\nwhen solving the system</property>
796 <property name="label" translatable="yes">F_ree</property>
797 <property name="use_underline">True</property>
798 <signal name="activate" handler="on_free1_activate" last_modification_time="Thu, 17 Nov 2005 12:34:26 GMT"/>
799 <accelerator key="r" modifiers="GDK_CONTROL_MASK" signal="activate"/>
800
801 <child internal-child="image">
802 <widget class="GtkImage" id="image12">
803 <property name="visible">True</property>
804 <property name="stock">gtk-no</property>
805 <property name="icon_size">1</property>
806 <property name="xalign">0.5</property>
807 <property name="yalign">0.5</property>
808 <property name="xpad">0</property>
809 <property name="ypad">0</property>
810 </widget>
811 </child>
812 </widget>
813 </child>
814
815 <child>
816 <widget class="GtkSeparatorMenuItem" id="separator2">
817 <property name="visible">True</property>
818 </widget>
819 </child>
820
821 <child>
822 <widget class="GtkMenuItem" id="plot1">
823 <property name="visible">True</property>
824 <property name="label" translatable="yes">_Plot</property>
825 <property name="use_underline">True</property>
826 <signal name="activate" handler="on_plot1_activate" last_modification_time="Fri, 06 Jan 2006 09:36:45 GMT"/>
827 <accelerator key="p" modifiers="GDK_CONTROL_MASK" signal="activate"/>
828 </widget>
829 </child>
830 </widget>
831
832 <widget class="GtkWindow" id="paramswin">
833 <property name="visible">True</property>
834 <property name="has_default">True</property>
835 <property name="title" translatable="yes">Solver Parameters</property>
836 <property name="type">GTK_WINDOW_TOPLEVEL</property>
837 <property name="window_position">GTK_WIN_POS_NONE</property>
838 <property name="modal">False</property>
839 <property name="default_width">700</property>
840 <property name="default_height">600</property>
841 <property name="resizable">True</property>
842 <property name="destroy_with_parent">False</property>
843 <property name="icon_name">gtk-properties</property>
844 <property name="decorated">True</property>
845 <property name="skip_taskbar_hint">False</property>
846 <property name="skip_pager_hint">False</property>
847 <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
848 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
849 <property name="focus_on_map">True</property>
850 <signal name="destroy" handler="on_paramswin_destroy" last_modification_time="Fri, 27 Jan 2006 05:15:10 GMT"/>
851
852 <child>
853 <widget class="GtkVBox" id="vbox6">
854 <property name="visible">True</property>
855 <property name="homogeneous">False</property>
856 <property name="spacing">0</property>
857
858 <child>
859 <widget class="GtkHBox" id="hbox6">
860 <property name="visible">True</property>
861 <property name="homogeneous">False</property>
862 <property name="spacing">0</property>
863
864 <child>
865 <widget class="GtkLabel" id="label11">
866 <property name="visible">True</property>
867 <property name="label" translatable="yes">&lt;b&gt;Current solver:&lt;/b&gt; </property>
868 <property name="use_underline">False</property>
869 <property name="use_markup">True</property>
870 <property name="justify">GTK_JUSTIFY_LEFT</property>
871 <property name="wrap">False</property>
872 <property name="selectable">False</property>
873 <property name="xalign">0.5</property>
874 <property name="yalign">0.5</property>
875 <property name="xpad">0</property>
876 <property name="ypad">0</property>
877 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
878 <property name="width_chars">-1</property>
879 <property name="single_line_mode">False</property>
880 <property name="angle">0</property>
881 </widget>
882 <packing>
883 <property name="padding">0</property>
884 <property name="expand">False</property>
885 <property name="fill">False</property>
886 </packing>
887 </child>
888
889 <child>
890 <widget class="GtkLabel" id="solvername">
891 <property name="visible">True</property>
892 <property name="label" translatable="yes">solvername </property>
893 <property name="use_underline">False</property>
894 <property name="use_markup">False</property>
895 <property name="justify">GTK_JUSTIFY_LEFT</property>
896 <property name="wrap">False</property>
897 <property name="selectable">False</property>
898 <property name="xalign">0.5</property>
899 <property name="yalign">0.5</property>
900 <property name="xpad">0</property>
901 <property name="ypad">0</property>
902 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
903 <property name="width_chars">-1</property>
904 <property name="single_line_mode">False</property>
905 <property name="angle">0</property>
906 </widget>
907 <packing>
908 <property name="padding">0</property>
909 <property name="expand">False</property>
910 <property name="fill">False</property>
911 </packing>
912 </child>
913 </widget>
914 <packing>
915 <property name="padding">14</property>
916 <property name="expand">False</property>
917 <property name="fill">True</property>
918 </packing>
919 </child>
920
921 <child>
922 <widget class="GtkScrolledWindow" id="scrolledwindow14">
923 <property name="visible">True</property>
924 <property name="can_focus">True</property>
925 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
926 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
927 <property name="shadow_type">GTK_SHADOW_IN</property>
928 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
929
930 <child>
931 <widget class="GtkViewport" id="viewport3">
932 <property name="visible">True</property>
933 <property name="shadow_type">GTK_SHADOW_IN</property>
934
935 <child>
936 <widget class="GtkTreeView" id="paramsview">
937 <property name="visible">True</property>
938 <property name="can_focus">True</property>
939 <property name="headers_visible">True</property>
940 <property name="rules_hint">False</property>
941 <property name="reorderable">False</property>
942 <property name="enable_search">True</property>
943 <property name="fixed_height_mode">False</property>
944 <property name="hover_selection">False</property>
945 <property name="hover_expand">False</property>
946 <signal name="row_activated" handler="on_paramsview_row_activated" last_modification_time="Fri, 27 Jan 2006 05:56:55 GMT"/>
947 <signal name="select_cursor_row" handler="on_paramsview_select_cursor_row" last_modification_time="Fri, 27 Jan 2006 07:21:36 GMT"/>
948 <signal name="button_press_event" handler="on_paramsview_button_press_event" last_modification_time="Sat, 28 Jan 2006 01:46:18 GMT"/>
949 <signal name="cursor_changed" handler="on_paramsview_cursor_changed" last_modification_time="Sat, 28 Jan 2006 03:40:50 GMT"/>
950 </widget>
951 </child>
952 </widget>
953 </child>
954 </widget>
955 <packing>
956 <property name="padding">0</property>
957 <property name="expand">True</property>
958 <property name="fill">True</property>
959 </packing>
960 </child>
961
962 <child>
963 <widget class="GtkHBox" id="hbox4">
964 <property name="visible">True</property>
965 <property name="homogeneous">False</property>
966 <property name="spacing">8</property>
967 </widget>
968 <packing>
969 <property name="padding">0</property>
970 <property name="expand">False</property>
971 <property name="fill">True</property>
972 </packing>
973 </child>
974
975 <child>
976 <widget class="GtkFrame" id="frame2">
977 <property name="visible">True</property>
978 <property name="label_xalign">0</property>
979 <property name="label_yalign">0.5</property>
980 <property name="shadow_type">GTK_SHADOW_NONE</property>
981
982 <child>
983 <widget class="GtkAlignment" id="alignment2">
984 <property name="visible">True</property>
985 <property name="xalign">0.5</property>
986 <property name="yalign">0.5</property>
987 <property name="xscale">1</property>
988 <property name="yscale">1</property>
989 <property name="top_padding">0</property>
990 <property name="bottom_padding">0</property>
991 <property name="left_padding">12</property>
992 <property name="right_padding">0</property>
993
994 <child>
995 <widget class="GtkLabel" id="paramdescription">
996 <property name="visible">True</property>
997 <property name="label" translatable="yes">To edit a paramer, select the row you want then click the 'value' column.</property>
998 <property name="use_underline">False</property>
999 <property name="use_markup">False</property>
1000 <property name="justify">GTK_JUSTIFY_LEFT</property>
1001 <property name="wrap">False</property>
1002 <property name="selectable">False</property>
1003 <property name="xalign">0</property>
1004 <property name="yalign">0.5</property>
1005 <property name="xpad">10</property>
1006 <property name="ypad">10</property>
1007 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1008 <property name="width_chars">-1</property>
1009 <property name="single_line_mode">False</property>
1010 <property name="angle">0</property>
1011 </widget>
1012 </child>
1013 </widget>
1014 </child>
1015
1016 <child>
1017 <widget class="GtkLabel" id="label13">
1018 <property name="visible">True</property>
1019 <property name="label" translatable="yes">Parameter info</property>
1020 <property name="use_underline">False</property>
1021 <property name="use_markup">True</property>
1022 <property name="justify">GTK_JUSTIFY_LEFT</property>
1023 <property name="wrap">False</property>
1024 <property name="selectable">False</property>
1025 <property name="xalign">0.5</property>
1026 <property name="yalign">0.5</property>
1027 <property name="xpad">0</property>
1028 <property name="ypad">0</property>
1029 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1030 <property name="width_chars">-1</property>
1031 <property name="single_line_mode">False</property>
1032 <property name="angle">0</property>
1033 </widget>
1034 <packing>
1035 <property name="type">label_item</property>
1036 </packing>
1037 </child>
1038 </widget>
1039 <packing>
1040 <property name="padding">8</property>
1041 <property name="expand">False</property>
1042 <property name="fill">False</property>
1043 </packing>
1044 </child>
1045
1046 <child>
1047 <widget class="GtkHBox" id="hbox5">
1048 <property name="visible">True</property>
1049 <property name="homogeneous">True</property>
1050 <property name="spacing">8</property>
1051
1052 <child>
1053 <widget class="GtkButton" id="paramsapply">
1054 <property name="visible">True</property>
1055 <property name="can_focus">True</property>
1056 <property name="label">gtk-apply</property>
1057 <property name="use_stock">True</property>
1058 <property name="relief">GTK_RELIEF_NORMAL</property>
1059 <property name="focus_on_click">True</property>
1060 <signal name="clicked" handler="on_paramsapply_clicked" last_modification_time="Sat, 28 Jan 2006 04:38:49 GMT"/>
1061 </widget>
1062 <packing>
1063 <property name="padding">0</property>
1064 <property name="expand">False</property>
1065 <property name="fill">False</property>
1066 <property name="pack_type">GTK_PACK_END</property>
1067 </packing>
1068 </child>
1069
1070 <child>
1071 <widget class="GtkButton" id="paramscancel">
1072 <property name="visible">True</property>
1073 <property name="can_focus">True</property>
1074 <property name="label">gtk-cancel</property>
1075 <property name="use_stock">True</property>
1076 <property name="relief">GTK_RELIEF_NORMAL</property>
1077 <property name="focus_on_click">True</property>
1078 <signal name="clicked" handler="on_paramscancel_clicked" last_modification_time="Sat, 28 Jan 2006 04:38:40 GMT"/>
1079 </widget>
1080 <packing>
1081 <property name="padding">0</property>
1082 <property name="expand">False</property>
1083 <property name="fill">False</property>
1084 <property name="pack_type">GTK_PACK_END</property>
1085 </packing>
1086 </child>
1087 </widget>
1088 <packing>
1089 <property name="padding">0</property>
1090 <property name="expand">False</property>
1091 <property name="fill">False</property>
1092 </packing>
1093 </child>
1094 </widget>
1095 </child>
1096 </widget>
1097
1098 <widget class="GtkDialog" id="boundsdialog">
1099 <property name="visible">True</property>
1100 <property name="title" translatable="yes">Out of bounds</property>
1101 <property name="type">GTK_WINDOW_TOPLEVEL</property>
1102 <property name="window_position">GTK_WIN_POS_NONE</property>
1103 <property name="modal">False</property>
1104 <property name="resizable">True</property>
1105 <property name="destroy_with_parent">False</property>
1106 <property name="decorated">True</property>
1107 <property name="skip_taskbar_hint">False</property>
1108 <property name="skip_pager_hint">False</property>
1109 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1110 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1111 <property name="focus_on_map">True</property>
1112 <property name="has_separator">True</property>
1113
1114 <child internal-child="vbox">
1115 <widget class="GtkVBox" id="dialog-vbox1">
1116 <property name="visible">True</property>
1117 <property name="homogeneous">False</property>
1118 <property name="spacing">0</property>
1119
1120 <child internal-child="action_area">
1121 <widget class="GtkHButtonBox" id="dialog-action_area1">
1122 <property name="visible">True</property>
1123 <property name="layout_style">GTK_BUTTONBOX_END</property>
1124
1125 <child>
1126 <widget class="GtkButton" id="okbutton1">
1127 <property name="visible">True</property>
1128 <property name="can_default">True</property>
1129 <property name="can_focus">True</property>
1130 <property name="label">gtk-ok</property>
1131 <property name="use_stock">True</property>
1132 <property name="relief">GTK_RELIEF_NORMAL</property>
1133 <property name="focus_on_click">True</property>
1134 <property name="response_id">-5</property>
1135 </widget>
1136 </child>
1137 </widget>
1138 <packing>
1139 <property name="padding">0</property>
1140 <property name="expand">False</property>
1141 <property name="fill">True</property>
1142 <property name="pack_type">GTK_PACK_END</property>
1143 </packing>
1144 </child>
1145
1146 <child>
1147 <widget class="GtkLabel" id="msg">
1148 <property name="visible">True</property>
1149 <property name="label" translatable="yes">Please enter a value that lies within the
1150 upper and lower bounds displayed.</property>
1151 <property name="use_underline">False</property>
1152 <property name="use_markup">True</property>
1153 <property name="justify">GTK_JUSTIFY_LEFT</property>
1154 <property name="wrap">False</property>
1155 <property name="selectable">False</property>
1156 <property name="xalign">0</property>
1157 <property name="yalign">0.5</property>
1158 <property name="xpad">8</property>
1159 <property name="ypad">8</property>
1160 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1161 <property name="width_chars">-1</property>
1162 <property name="single_line_mode">False</property>
1163 <property name="angle">0</property>
1164 </widget>
1165 <packing>
1166 <property name="padding">0</property>
1167 <property name="expand">False</property>
1168 <property name="fill">False</property>
1169 </packing>
1170 </child>
1171 </widget>
1172 </child>
1173 </widget>
1174
1175 <widget class="GtkDialog" id="dialog1">
1176 <property name="visible">True</property>
1177 <property name="title" translatable="yes">dialog1</property>
1178 <property name="type">GTK_WINDOW_TOPLEVEL</property>
1179 <property name="window_position">GTK_WIN_POS_NONE</property>
1180 <property name="modal">False</property>
1181 <property name="resizable">True</property>
1182 <property name="destroy_with_parent">False</property>
1183 <property name="decorated">True</property>
1184 <property name="skip_taskbar_hint">False</property>
1185 <property name="skip_pager_hint">False</property>
1186 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1187 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1188 <property name="focus_on_map">True</property>
1189 <property name="has_separator">True</property>
1190
1191 <child internal-child="vbox">
1192 <widget class="GtkVBox" id="dialog-vbox2">
1193 <property name="visible">True</property>
1194 <property name="homogeneous">False</property>
1195 <property name="spacing">0</property>
1196
1197 <child internal-child="action_area">
1198 <widget class="GtkHButtonBox" id="dialog-action_area2">
1199 <property name="visible">True</property>
1200 <property name="layout_style">GTK_BUTTONBOX_END</property>
1201
1202 <child>
1203 <widget class="GtkButton" id="closebutton1">
1204 <property name="visible">True</property>
1205 <property name="can_default">True</property>
1206 <property name="can_focus">True</property>
1207 <property name="label">gtk-close</property>
1208 <property name="use_stock">True</property>
1209 <property name="relief">GTK_RELIEF_NORMAL</property>
1210 <property name="focus_on_click">True</property>
1211 <property name="response_id">-7</property>
1212 </widget>
1213 </child>
1214 </widget>
1215 <packing>
1216 <property name="padding">0</property>
1217 <property name="expand">False</property>
1218 <property name="fill">True</property>
1219 <property name="pack_type">GTK_PACK_END</property>
1220 </packing>
1221 </child>
1222
1223 <child>
1224 <placeholder/>
1225 </child>
1226 </widget>
1227 </child>
1228 </widget>
1229
1230 <widget class="GtkDialog" id="aboutdialog">
1231 <property name="visible">True</property>
1232 <property name="title" translatable="yes">About</property>
1233 <property name="type">GTK_WINDOW_TOPLEVEL</property>
1234 <property name="window_position">GTK_WIN_POS_NONE</property>
1235 <property name="modal">False</property>
1236 <property name="resizable">True</property>
1237 <property name="destroy_with_parent">False</property>
1238 <property name="decorated">True</property>
1239 <property name="skip_taskbar_hint">False</property>
1240 <property name="skip_pager_hint">False</property>
1241 <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
1242 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1243 <property name="focus_on_map">True</property>
1244 <property name="has_separator">True</property>
1245
1246 <child internal-child="vbox">
1247 <widget class="GtkVBox" id="dialog-vbox3">
1248 <property name="visible">True</property>
1249 <property name="homogeneous">False</property>
1250 <property name="spacing">0</property>
1251
1252 <child internal-child="action_area">
1253 <widget class="GtkHButtonBox" id="dialog-action_area3">
1254 <property name="visible">True</property>
1255 <property name="layout_style">GTK_BUTTONBOX_END</property>
1256
1257 <child>
1258 <widget class="GtkButton" id="closebutton2">
1259 <property name="visible">True</property>
1260 <property name="can_default">True</property>
1261 <property name="can_focus">True</property>
1262 <property name="label">gtk-close</property>
1263 <property name="use_stock">True</property>
1264 <property name="relief">GTK_RELIEF_NORMAL</property>
1265 <property name="focus_on_click">True</property>
1266 <property name="response_id">-7</property>
1267 </widget>
1268 </child>
1269 </widget>
1270 <packing>
1271 <property name="padding">0</property>
1272 <property name="expand">False</property>
1273 <property name="fill">True</property>
1274 <property name="pack_type">GTK_PACK_END</property>
1275 </packing>
1276 </child>
1277
1278 <child>
1279 <widget class="GtkLabel" id="label14">
1280 <property name="visible">True</property>
1281 <property name="label" translatable="yes">&lt;b&gt;ASCEND&lt;/b&gt;
1282
1283 Ascend is a large-scale object-oriented
1284 mathematical modelling environment with
1285 a strongly-typed modelling language.
1286
1287 Version @ABOUT_VERSION@
1288
1289 Developers @ABOUT_DEVELOPERS@</property>
1290 <property name="use_underline">False</property>
1291 <property name="use_markup">True</property>
1292 <property name="justify">GTK_JUSTIFY_LEFT</property>
1293 <property name="wrap">False</property>
1294 <property name="selectable">False</property>
1295 <property name="xalign">0</property>
1296 <property name="yalign">0</property>
1297 <property name="xpad">8</property>
1298 <property name="ypad">8</property>
1299 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1300 <property name="width_chars">-1</property>
1301 <property name="single_line_mode">False</property>
1302 <property name="angle">0</property>
1303 </widget>
1304 <packing>
1305 <property name="padding">0</property>
1306 <property name="expand">False</property>
1307 <property name="fill">False</property>
1308 </packing>
1309 </child>
1310 </widget>
1311 </child>
1312 </widget>
1313
1314 <widget class="GtkMenu" id="menu8">
1315
1316 <child>
1317 <widget class="GtkImageMenuItem" id="copy2">
1318 <property name="visible">True</property>
1319 <property name="label" translatable="yes">Copy</property>
1320 <property name="use_underline">True</property>
1321 <signal name="activate" handler="on_copy2_activate" last_modification_time="Sun, 13 Nov 2005 07:45:55 GMT"/>
1322
1323 <child internal-child="image">
1324 <widget class="GtkImage" id="image6">
1325 <property name="visible">True</property>
1326 <property name="stock">gtk-copy</property>
1327 <property name="icon_size">1</property>
1328 <property name="xalign">0.5</property>
1329 <property name="yalign">0.5</property>
1330 <property name="xpad">0</property>
1331 <property name="ypad">0</property>
1332 </widget>
1333 </child>
1334 </widget>
1335 </child>
1336
1337 <child>
1338 <widget class="GtkImageMenuItem" id="clear_all1">
1339 <property name="visible">True</property>
1340 <property name="label" translatable="yes">Clear all</property>
1341 <property name="use_underline">True</property>
1342 <signal name="activate" handler="on_clear_all1_activate" last_modification_time="Sun, 13 Nov 2005 07:45:55 GMT"/>
1343
1344 <child internal-child="image">
1345 <widget class="GtkImage" id="image7">
1346 <property name="visible">True</property>
1347 <property name="stock">gtk-clear</property>
1348 <property name="icon_size">1</property>
1349 <property name="xalign">0.5</property>
1350 <property name="yalign">0.5</property>
1351 <property name="xpad">0</property>
1352 <property name="ypad">0</property>
1353 </widget>
1354 </child>
1355 </widget>
1356 </child>
1357 </widget>
1358
1359 <widget class="GtkWindow" id="observerwin">
1360 <property name="visible">True</property>
1361 <property name="title" translatable="yes">window1</property>
1362 <property name="type">GTK_WINDOW_TOPLEVEL</property>
1363 <property name="window_position">GTK_WIN_POS_NONE</property>
1364 <property name="modal">False</property>
1365 <property name="resizable">True</property>
1366 <property name="destroy_with_parent">False</property>
1367 <property name="decorated">True</property>
1368 <property name="skip_taskbar_hint">False</property>
1369 <property name="skip_pager_hint">False</property>
1370 <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
1371 <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
1372 <property name="focus_on_map">True</property>
1373
1374 <child>
1375 <widget class="GtkVBox" id="observervbox">
1376 <property name="visible">True</property>
1377 <property name="homogeneous">False</property>
1378 <property name="spacing">0</property>
1379
1380 <child>
1381 <widget class="GtkToolbar" id="toolbar4">
1382 <property name="visible">True</property>
1383 <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
1384 <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
1385 <property name="tooltips">True</property>
1386 <property name="show_arrow">True</property>
1387
1388 <child>
1389 <widget class="GtkToolItem" id="toolitem4">
1390 <property name="visible">True</property>
1391 <property name="visible_horizontal">True</property>
1392 <property name="visible_vertical">True</property>
1393 <property name="is_important">False</property>
1394
1395 <child>
1396 <widget class="GtkButton" id="add">
1397 <property name="border_width">3</property>
1398 <property name="visible">True</property>
1399 <property name="can_focus">True</property>
1400 <property name="label">gtk-add</property>
1401 <property name="use_stock">True</property>
1402 <property name="relief">GTK_RELIEF_NORMAL</property>
1403 <property name="focus_on_click">True</property>
1404 <signal name="clicked" handler="on_add_clicked" last_modification_time="Wed, 01 Feb 2006 02:15:47 GMT"/>
1405 </widget>
1406 </child>
1407 </widget>
1408 <packing>
1409 <property name="expand">False</property>
1410 <property name="homogeneous">False</property>
1411 </packing>
1412 </child>
1413
1414 <child>
1415 <widget class="GtkToolItem" id="toolitem5">
1416 <property name="visible">True</property>
1417 <property name="visible_horizontal">True</property>
1418 <property name="visible_vertical">True</property>
1419 <property name="is_important">False</property>
1420
1421 <child>
1422 <widget class="GtkButton" id="clear">
1423 <property name="border_width">3</property>
1424 <property name="visible">True</property>
1425 <property name="can_focus">True</property>
1426 <property name="label">gtk-clear</property>
1427 <property name="use_stock">True</property>
1428 <property name="relief">GTK_RELIEF_NORMAL</property>
1429 <property name="focus_on_click">True</property>
1430 <signal name="clicked" handler="on_clear_clicked" last_modification_time="Wed, 01 Feb 2006 02:15:52 GMT"/>
1431 </widget>
1432 </child>
1433 </widget>
1434 <packing>
1435 <property name="expand">False</property>
1436 <property name="homogeneous">False</property>
1437 </packing>
1438 </child>
1439
1440 <child>
1441 <widget class="GtkToolItem" id="toolitem7">
1442 <property name="visible">True</property>
1443 <property name="visible_horizontal">True</property>
1444 <property name="visible_vertical">True</property>
1445 <property name="is_important">False</property>
1446
1447 <child>
1448 <widget class="GtkLabel" id="label17">
1449 <property name="visible">True</property>
1450 <property name="label" translatable="yes">To add columns here, right-click variables in the Simulation tab.</property>
1451 <property name="use_underline">False</property>
1452 <property name="use_markup">False</property>
1453 <property name="justify">GTK_JUSTIFY_LEFT</property>
1454 <property name="wrap">False</property>
1455 <property name="selectable">False</property>
1456 <property name="xalign">0.5</property>
1457 <property name="yalign">0.5</property>
1458 <property name="xpad">3</property>
1459 <property name="ypad">0</property>
1460 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1461 <property name="width_chars">-1</property>
1462 <property name="single_line_mode">False</property>
1463 <property name="angle">0</property>
1464 </widget>
1465 </child>
1466 </widget>
1467 <packing>
1468 <property name="expand">False</property>
1469 <property name="homogeneous">False</property>
1470 </packing>
1471 </child>
1472
1473 <child>
1474 <widget class="GtkToolItem" id="toolitem6">
1475 <property name="visible">True</property>
1476 <property name="visible_horizontal">True</property>
1477 <property name="visible_vertical">True</property>
1478 <property name="is_important">False</property>
1479
1480 <child>
1481 <widget class="GtkLabel" id="label16">
1482 <property name="visible">True</property>
1483 <property name="label" translatable="yes">To add columns here, right-click variables in the 'simulation' tab, and click 'observe'</property>
1484 <property name="use_underline">False</property>
1485 <property name="use_markup">False</property>
1486 <property name="justify">GTK_JUSTIFY_LEFT</property>
1487 <property name="wrap">False</property>
1488 <property name="selectable">False</property>
1489 <property name="xalign">0.5</property>
1490 <property name="yalign">0.5</property>
1491 <property name="xpad">0</property>
1492 <property name="ypad">0</property>
1493 <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
1494 <property name="width_chars">-1</property>
1495 <property name="single_line_mode">False</property>
1496 <property name="angle">0</property>
1497 </widget>
1498 </child>
1499 </widget>
1500 <packing>
1501 <property name="expand">False</property>
1502 <property name="homogeneous">False</property>
1503 </packing>
1504 </child>
1505 </widget>
1506 <packing>
1507 <property name="padding">0</property>
1508 <property name="expand">False</property>
1509 <property name="fill">False</property>
1510 </packing>
1511 </child>
1512
1513 <child>
1514 <widget class="GtkScrolledWindow" id="scrolledwindow15">
1515 <property name="visible">True</property>
1516 <property name="can_focus">True</property>
1517 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1518 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1519 <property name="shadow_type">GTK_SHADOW_IN</property>
1520 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1521
1522 <child>
1523 <widget class="GtkTreeView" id="observerview">
1524 <property name="visible">True</property>
1525 <property name="can_focus">True</property>
1526 <property name="headers_visible">True</property>
1527 <property name="rules_hint">False</property>
1528 <property name="reorderable">False</property>
1529 <property name="enable_search">True</property>
1530 <property name="fixed_height_mode">False</property>
1531 <property name="hover_selection">False</property>
1532 <property name="hover_expand">False</property>
1533 </widget>
1534 </child>
1535 </widget>
1536 <packing>
1537 <property name="padding">0</property>
1538 <property name="expand">True</property>
1539 <property name="fill">True</property>
1540 </packing>
1541 </child>
1542 </widget>
1543 </child>
1544 </widget>
1545
1546 </glade-interface>

john.pye@anu.edu.au
ViewVC Help
Powered by ViewVC 1.1.22