← Back to branch summary

~alexzak/bzr/mascyma

« back to all changes in this revision

Viewing changes to mascyma.glade

  • Committer: Bazaar Package Importer
  • Author(s): Matthias Andreas Benkard
  • Date: 2004-04-11 15:52:53 UTC
  • Revision ID: james.westby@ubuntu.com-20040411155253-uxyl17oylqzidez4
Tags: 0.59-1
New upstream release.

Show diffs side-by-side

added added

removed removed

Lines of Context:
mascyma.glade
 
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
<requires lib="gnome"/>
 
6
 
 
7
<widget class="GtkWindow" id="main_window">
 
8
  <property name="visible">True</property>
 
9
  <property name="title" translatable="yes">Mascyma</property>
 
10
  <property name="type">GTK_WINDOW_TOPLEVEL</property>
 
11
  <property name="window_position">GTK_WIN_POS_NONE</property>
 
12
  <property name="modal">False</property>
 
13
  <property name="resizable">True</property>
 
14
  <property name="destroy_with_parent">False</property>
 
15
  <signal name="destroy" handler="on_main_window_destroy" last_modification_time="Sun, 14 Dec 2003 18:19:56 GMT"/>
 
16
 
 
17
  <child>
 
18
    <widget class="GtkVBox" id="vbox1">
 
19
      <property name="visible">True</property>
 
20
      <property name="homogeneous">False</property>
 
21
      <property name="spacing">0</property>
 
22
 
 
23
      <child>
 
24
        <widget class="GtkMenuBar" id="menu_bar">
 
25
          <property name="visible">True</property>
 
26
 
 
27
          <child>
 
28
            <widget class="GtkMenuItem" id="session">
 
29
              <property name="visible">True</property>
 
30
              <property name="label" translatable="yes">_Session</property>
 
31
              <property name="use_underline">True</property>
 
32
 
 
33
              <child>
 
34
                <widget class="GtkMenu" id="session_menu">
 
35
 
 
36
                  <child>
 
37
                    <widget class="GtkImageMenuItem" id="new session">
 
38
                      <property name="visible">True</property>
 
39
                      <property name="label">gtk-new</property>
 
40
                      <property name="use_stock">True</property>
 
41
                      <signal name="activate" handler="on_new_session_activate" last_modification_time="Sun, 14 Dec 2003 17:26:47 GMT"/>
 
42
                    </widget>
 
43
                  </child>
 
44
 
 
45
                  <child>
 
46
                    <widget class="GtkImageMenuItem" id="open session">
 
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="on_open_session_activate" last_modification_time="Sun, 14 Dec 2003 17:26:47 GMT"/>
 
51
                    </widget>
 
52
                  </child>
 
53
 
 
54
                  <child>
 
55
                    <widget class="GtkImageMenuItem" id="save session">
 
56
                      <property name="visible">True</property>
 
57
                      <property name="label">gtk-save</property>
 
58
                      <property name="use_stock">True</property>
 
59
                      <signal name="activate" handler="on_save_session_activate" last_modification_time="Sun, 14 Dec 2003 17:26:47 GMT"/>
 
60
                    </widget>
 
61
                  </child>
 
62
 
 
63
                  <child>
 
64
                    <widget class="GtkImageMenuItem" id="save session as">
 
65
                      <property name="visible">True</property>
 
66
                      <property name="label">gtk-save-as</property>
 
67
                      <property name="use_stock">True</property>
 
68
                      <signal name="activate" handler="on_save_session_as_activate" last_modification_time="Sun, 14 Dec 2003 17:26:47 GMT"/>
 
69
                    </widget>
 
70
                  </child>
 
71
 
 
72
                  <child>
 
73
                    <widget class="GtkMenuItem" id="separatormenuitem1">
 
74
                      <property name="visible">True</property>
 
75
                    </widget>
 
76
                  </child>
 
77
 
 
78
                  <child>
 
79
                    <widget class="GtkImageMenuItem" id="quit">
 
80
                      <property name="visible">True</property>
 
81
                      <property name="label">gtk-quit</property>
 
82
                      <property name="use_stock">True</property>
 
83
                      <signal name="activate" handler="on_quit_activate" last_modification_time="Sun, 14 Dec 2003 17:26:47 GMT"/>
 
84
                    </widget>
 
85
                  </child>
 
86
                </widget>
 
87
              </child>
 
88
            </widget>
 
89
          </child>
 
90
 
 
91
          <child>
 
92
            <widget class="GtkMenuItem" id="edit">
 
93
              <property name="visible">True</property>
 
94
              <property name="label" translatable="yes">_Edit</property>
 
95
              <property name="use_underline">True</property>
 
96
 
 
97
              <child>
 
98
                <widget class="GtkMenu" id="edit_menu">
 
99
 
 
100
                  <child>
 
101
                    <widget class="GtkImageMenuItem" id="cut">
 
102
                      <property name="visible">True</property>
 
103
                      <property name="label">gtk-cut</property>
 
104
                      <property name="use_stock">True</property>
 
105
                      <signal name="activate" handler="on_cut_activate" last_modification_time="Sun, 14 Dec 2003 17:26:47 GMT"/>
 
106
                    </widget>
 
107
                  </child>
 
108
 
 
109
                  <child>
 
110
                    <widget class="GtkImageMenuItem" id="copy">
 
111
                      <property name="visible">True</property>
 
112
                      <property name="label">gtk-copy</property>
 
113
                      <property name="use_stock">True</property>
 
114
                      <signal name="activate" handler="on_copy_activate" last_modification_time="Sun, 14 Dec 2003 17:26:47 GMT"/>
 
115
                    </widget>
 
116
                  </child>
 
117
 
 
118
                  <child>
 
119
                    <widget class="GtkImageMenuItem" id="paste">
 
120
                      <property name="visible">True</property>
 
121
                      <property name="label">gtk-paste</property>
 
122
                      <property name="use_stock">True</property>
 
123
                      <signal name="activate" handler="on_paste_activate" last_modification_time="Sun, 14 Dec 2003 17:26:47 GMT"/>
 
124
                    </widget>
 
125
                  </child>
 
126
 
 
127
                  <child>
 
128
                    <widget class="GtkImageMenuItem" id="delete">
 
129
                      <property name="visible">True</property>
 
130
                      <property name="label">gtk-delete</property>
 
131
                      <property name="use_stock">True</property>
 
132
                      <signal name="activate" handler="on_delete_activate" last_modification_time="Sun, 14 Dec 2003 17:26:47 GMT"/>
 
133
                    </widget>
 
134
                  </child>
 
135
                </widget>
 
136
              </child>
 
137
            </widget>
 
138
          </child>
 
139
 
 
140
          <child>
 
141
            <widget class="GtkMenuItem" id="view">
 
142
              <property name="visible">True</property>
 
143
              <property name="label" translatable="yes">_View</property>
 
144
              <property name="use_underline">True</property>
 
145
            </widget>
 
146
          </child>
 
147
 
 
148
          <child>
 
149
            <widget class="GtkMenuItem" id="help">
 
150
              <property name="visible">True</property>
 
151
              <property name="label" translatable="yes">_Help</property>
 
152
              <property name="use_underline">True</property>
 
153
 
 
154
              <child>
 
155
                <widget class="GtkMenu" id="help_menu">
 
156
 
 
157
                  <child>
 
158
                    <widget class="GtkMenuItem" id="info">
 
159
                      <property name="visible">True</property>
 
160
                      <property name="label" translatable="yes">_Info</property>
 
161
                      <property name="use_underline">True</property>
 
162
                      <signal name="activate" handler="on_info_activate" last_modification_time="Sun, 14 Dec 2003 17:26:47 GMT"/>
 
163
                    </widget>
 
164
                  </child>
 
165
                </widget>
 
166
              </child>
 
167
            </widget>
 
168
          </child>
 
169
        </widget>
 
170
        <packing>
 
171
          <property name="padding">0</property>
 
172
          <property name="expand">False</property>
 
173
          <property name="fill">False</property>
 
174
        </packing>
 
175
      </child>
 
176
 
 
177
      <child>
 
178
        <widget class="GtkToolbar" id="tool_bar">
 
179
          <property name="visible">True</property>
 
180
          <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
 
181
          <property name="toolbar_style">GTK_TOOLBAR_ICONS</property>
 
182
          <property name="tooltips">True</property>
 
183
 
 
184
          <child>
 
185
            <widget class="button" id="new_sheet_tool">
 
186
              <property name="visible">True</property>
 
187
              <property name="label">gtk-new</property>
 
188
              <property name="use_stock">True</property>
 
189
              <signal name="clicked" handler="on_new_sheet_tool_clicked" last_modification_time="Sun, 14 Dec 2003 18:29:27 GMT"/>
 
190
            </widget>
 
191
          </child>
 
192
 
 
193
          <child>
 
194
            <widget class="button" id="close_sheet_tool">
 
195
              <property name="visible">True</property>
 
196
              <property name="label">gtk-close</property>
 
197
              <property name="use_stock">True</property>
 
198
              <signal name="clicked" handler="on_close_sheet_tool_clicked" last_modification_time="Sun, 14 Dec 2003 18:29:20 GMT"/>
 
199
            </widget>
 
200
          </child>
 
201
 
 
202
          <child>
 
203
            <widget class="button" id="save_sheet_tool">
 
204
              <property name="visible">True</property>
 
205
              <property name="label" translatable="yes">_Save sheet</property>
 
206
              <property name="use_underline">True</property>
 
207
              <property name="stock_pixmap">gtk-save</property>
 
208
              <signal name="clicked" handler="on_save_sheet_tool_clicked" last_modification_time="Tue, 16 Dec 2003 13:10:04 GMT"/>
 
209
            </widget>
 
210
          </child>
 
211
 
 
212
          <child>
 
213
            <widget class="button" id="copy_tool">
 
214
              <property name="visible">True</property>
 
215
              <property name="label">gtk-copy</property>
 
216
              <property name="use_stock">True</property>
 
217
              <property name="new_group">True</property>
 
218
              <signal name="clicked" handler="on_copy_tool_clicked" last_modification_time="Sun, 14 Dec 2003 20:01:37 GMT"/>
 
219
            </widget>
 
220
            <packing>
 
221
              <property name="new_group">True</property>
 
222
            </packing>
 
223
          </child>
 
224
 
 
225
          <child>
 
226
            <widget class="button" id="cut_tool">
 
227
              <property name="visible">True</property>
 
228
              <property name="label">gtk-cut</property>
 
229
              <property name="use_stock">True</property>
 
230
              <signal name="clicked" handler="on_cut_tool_clicked" last_modification_time="Sun, 14 Dec 2003 20:01:43 GMT"/>
 
231
            </widget>
 
232
          </child>
 
233
 
 
234
          <child>
 
235
            <widget class="button" id="paste_tool">
 
236
              <property name="visible">True</property>
 
237
              <property name="label">gtk-paste</property>
 
238
              <property name="use_stock">True</property>
 
239
              <signal name="clicked" handler="on_paste_tool_clicked" last_modification_time="Sun, 14 Dec 2003 20:01:50 GMT"/>
 
240
            </widget>
 
241
          </child>
 
242
 
 
243
          <child>
 
244
            <widget class="button" id="quit_tool">
 
245
              <property name="visible">True</property>
 
246
              <property name="label">gtk-quit</property>
 
247
              <property name="use_stock">True</property>
 
248
              <property name="new_group">True</property>
 
249
              <signal name="clicked" handler="on_quit_tool_clicked" last_modification_time="Sun, 14 Dec 2003 18:29:37 GMT"/>
 
250
            </widget>
 
251
            <packing>
 
252
              <property name="new_group">True</property>
 
253
            </packing>
 
254
          </child>
 
255
        </widget>
 
256
        <packing>
 
257
          <property name="padding">0</property>
 
258
          <property name="expand">False</property>
 
259
          <property name="fill">False</property>
 
260
        </packing>
 
261
      </child>
 
262
 
 
263
      <child>
 
264
        <widget class="GtkHBox" id="hbox1">
 
265
          <property name="visible">True</property>
 
266
          <property name="homogeneous">False</property>
 
267
          <property name="spacing">0</property>
 
268
 
 
269
          <child>
 
270
            <widget class="GtkNotebook" id="algebra_notebook">
 
271
              <property name="visible">True</property>
 
272
              <property name="can_focus">True</property>
 
273
              <property name="show_tabs">True</property>
 
274
              <property name="show_border">True</property>
 
275
              <property name="tab_pos">GTK_POS_TOP</property>
 
276
              <property name="scrollable">True</property>
 
277
              <property name="enable_popup">False</property>
 
278
 
 
279
              <child>
 
280
                <widget class="GtkScrolledWindow" id="scrolledwindow1">
 
281
                  <property name="visible">True</property>
 
282
                  <property name="can_focus">True</property>
 
283
                  <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
 
284
                  <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 
285
                  <property name="shadow_type">GTK_SHADOW_NONE</property>
 
286
                  <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 
287
 
 
288
                  <child>
 
289
                    <widget class="GtkViewport" id="viewport1">
 
290
                      <property name="visible">True</property>
 
291
                      <property name="shadow_type">GTK_SHADOW_IN</property>
 
292
 
 
293
                      <child>
 
294
                        <widget class="GtkDrawingArea" id="drawingarea1">
 
295
                          <property name="visible">True</property>
 
296
                        </widget>
 
297
                      </child>
 
298
                    </widget>
 
299
                  </child>
 
300
                </widget>
 
301
                <packing>
 
302
                  <property name="tab_expand">False</property>
 
303
                  <property name="tab_fill">True</property>
 
304
                </packing>
 
305
              </child>
 
306
 
 
307
              <child>
 
308
                <widget class="GtkLabel" id="label1">
 
309
                  <property name="visible">True</property>
 
310
                  <property name="label" translatable="yes">_Output</property>
 
311
                  <property name="use_underline">True</property>
 
312
                  <property name="use_markup">False</property>
 
313
                  <property name="justify">GTK_JUSTIFY_LEFT</property>
 
314
                  <property name="wrap">False</property>
 
315
                  <property name="selectable">False</property>
 
316
                  <property name="xalign">0.5</property>
 
317
                  <property name="yalign">0.5</property>
 
318
                  <property name="xpad">0</property>
 
319
                  <property name="ypad">0</property>
 
320
                </widget>
 
321
                <packing>
 
322
                  <property name="type">tab</property>
 
323
                </packing>
 
324
              </child>
 
325
            </widget>
 
326
            <packing>
 
327
              <property name="padding">0</property>
 
328
              <property name="expand">True</property>
 
329
              <property name="fill">True</property>
 
330
            </packing>
 
331
          </child>
 
332
 
 
333
          <child>
 
334
            <widget class="GtkVBox" id="toolmenu_box">
 
335
              <property name="visible">True</property>
 
336
              <property name="homogeneous">False</property>
 
337
              <property name="spacing">0</property>
 
338
 
 
339
              <child>
 
340
                <widget class="GtkButton" id="equation_toolmenu_button">
 
341
                  <property name="visible">True</property>
 
342
                  <property name="can_default">True</property>
 
343
                  <property name="can_focus">True</property>
 
344
                  <property name="relief">GTK_RELIEF_NONE</property>
 
345
                  <signal name="clicked" handler="on_equation_toolmenu_button_clicked" last_modification_time="Sat, 20 Dec 2003 21:33:09 GMT"/>
 
346
 
 
347
                  <child>
 
348
                    <widget class="GtkAlignment" id="alignment4">
 
349
                      <property name="visible">True</property>
 
350
                      <property name="xalign">0.5</property>
 
351
                      <property name="yalign">0.5</property>
 
352
                      <property name="xscale">0</property>
 
353
                      <property name="yscale">0</property>
 
354
 
 
355
                      <child>
 
356
                        <widget class="GtkHBox" id="hbox7">
 
357
                          <property name="visible">True</property>
 
358
                          <property name="homogeneous">False</property>
 
359
                          <property name="spacing">2</property>
 
360
 
 
361
                          <child>
 
362
                            <widget class="GtkImage" id="equation_toolmenu_icon">
 
363
                              <property name="visible">True</property>
 
364
                              <property name="stock">gtk-add</property>
 
365
                              <property name="icon_size">4</property>
 
366
                              <property name="xalign">0.5</property>
 
367
                              <property name="yalign">0.5</property>
 
368
                              <property name="xpad">0</property>
 
369
                              <property name="ypad">0</property>
 
370
                            </widget>
 
371
                            <packing>
 
372
                              <property name="padding">0</property>
 
373
                              <property name="expand">False</property>
 
374
                              <property name="fill">False</property>
 
375
                            </packing>
 
376
                          </child>
 
377
 
 
378
                          <child>
 
379
                            <widget class="GtkLabel" id="label6">
 
380
                              <property name="visible">True</property>
 
381
                              <property name="label" translatable="yes">E_quation</property>
 
382
                              <property name="use_underline">True</property>
 
383
                              <property name="use_markup">False</property>
 
384
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
 
385
                              <property name="wrap">False</property>
 
386
                              <property name="selectable">False</property>
 
387
                              <property name="xalign">0.5</property>
 
388
                              <property name="yalign">0.5</property>
 
389
                              <property name="xpad">0</property>
 
390
                              <property name="ypad">0</property>
 
391
                            </widget>
 
392
                            <packing>
 
393
                              <property name="padding">0</property>
 
394
                              <property name="expand">False</property>
 
395
                              <property name="fill">False</property>
 
396
                            </packing>
 
397
                          </child>
 
398
                        </widget>
 
399
                      </child>
 
400
                    </widget>
 
401
                  </child>
 
402
                </widget>
 
403
                <packing>
 
404
                  <property name="padding">0</property>
 
405
                  <property name="expand">False</property>
 
406
                  <property name="fill">False</property>
 
407
                </packing>
 
408
              </child>
 
409
 
 
410
              <child>
 
411
                <widget class="GtkVBox" id="equation_toolmenu">
 
412
                  <property name="homogeneous">False</property>
 
413
                  <property name="spacing">0</property>
 
414
 
 
415
                  <child>
 
416
                    <widget class="GtkToolbar" id="toolbar1">
 
417
                      <property name="visible">True</property>
 
418
                      <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
 
419
                      <property name="toolbar_style">GTK_TOOLBAR_ICONS</property>
 
420
                      <property name="tooltips">True</property>
 
421
 
 
422
                      <child>
 
423
                        <widget class="GtkButton" id="equation_solve_toolbutton">
 
424
                          <property name="visible">True</property>
 
425
                          <property name="tooltip" translatable="yes">Solve</property>
 
426
                          <property name="can_focus">True</property>
 
427
                          <property name="relief">GTK_RELIEF_NORMAL</property>
 
428
 
 
429
                          <child>
 
430
                            <widget class="GtkImage" id="image35">
 
431
                              <property name="visible">True</property>
 
432
                              <property name="stock">gtk-execute</property>
 
433
                              <property name="icon_size">4</property>
 
434
                              <property name="xalign">0.5</property>
 
435
                              <property name="yalign">0.5</property>
 
436
                              <property name="xpad">0</property>
 
437
                              <property name="ypad">0</property>
 
438
                            </widget>
 
439
                          </child>
 
440
                        </widget>
 
441
                      </child>
 
442
 
 
443
                      <child>
 
444
                        <widget class="GtkButton" id="equation_linsolve_toolbutton">
 
445
                          <property name="visible">True</property>
 
446
                          <property name="tooltip" translatable="yes">Solve linear</property>
 
447
                          <property name="can_focus">True</property>
 
448
                          <property name="relief">GTK_RELIEF_NORMAL</property>
 
449
 
 
450
                          <child>
 
451
                            <widget class="GtkImage" id="image25">
 
452
                              <property name="visible">True</property>
 
453
                              <property name="stock">gtk-execute</property>
 
454
                              <property name="icon_size">4</property>
 
455
                              <property name="xalign">0.5</property>
 
456
                              <property name="yalign">0.5</property>
 
457
                              <property name="xpad">0</property>
 
458
                              <property name="ypad">0</property>
 
459
                            </widget>
 
460
                          </child>
 
461
                        </widget>
 
462
                      </child>
 
463
 
 
464
                      <child>
 
465
                        <widget class="GtkButton" id="equation_zsolve_toolbutton">
 
466
                          <property name="visible">True</property>
 
467
                          <property name="tooltip" translatable="yes">Approximate</property>
 
468
                          <property name="can_focus">True</property>
 
469
                          <property name="relief">GTK_RELIEF_NORMAL</property>
 
470
 
 
471
                          <child>
 
472
                            <widget class="GtkImage" id="image26">
 
473
                              <property name="visible">True</property>
 
474
                              <property name="stock">gtk-execute</property>
 
475
                              <property name="icon_size">4</property>
 
476
                              <property name="xalign">0.5</property>
 
477
                              <property name="yalign">0.5</property>
 
478
                              <property name="xpad">0</property>
 
479
                              <property name="ypad">0</property>
 
480
                            </widget>
 
481
                          </child>
 
482
                        </widget>
 
483
                      </child>
 
484
                    </widget>
 
485
                    <packing>
 
486
                      <property name="padding">0</property>
 
487
                      <property name="expand">False</property>
 
488
                      <property name="fill">False</property>
 
489
                    </packing>
 
490
                  </child>
 
491
                </widget>
 
492
                <packing>
 
493
                  <property name="padding">0</property>
 
494
                  <property name="expand">False</property>
 
495
                  <property name="fill">True</property>
 
496
                </packing>
 
497
              </child>
 
498
 
 
499
              <child>
 
500
                <widget class="GtkButton" id="function_toolmenu_button">
 
501
                  <property name="visible">True</property>
 
502
                  <property name="can_focus">True</property>
 
503
                  <property name="relief">GTK_RELIEF_NONE</property>
 
504
                  <signal name="clicked" handler="on_function_toolmenu_button_clicked" last_modification_time="Sat, 20 Dec 2003 22:10:42 GMT"/>
 
505
 
 
506
                  <child>
 
507
                    <widget class="GtkAlignment" id="alignment2">
 
508
                      <property name="visible">True</property>
 
509
                      <property name="xalign">0.5</property>
 
510
                      <property name="yalign">0.5</property>
 
511
                      <property name="xscale">0</property>
 
512
                      <property name="yscale">0</property>
 
513
 
 
514
                      <child>
 
515
                        <widget class="GtkHBox" id="hbox3">
 
516
                          <property name="visible">True</property>
 
517
                          <property name="homogeneous">False</property>
 
518
                          <property name="spacing">2</property>
 
519
 
 
520
                          <child>
 
521
                            <widget class="GtkImage" id="function_toolmenu_icon">
 
522
                              <property name="visible">True</property>
 
523
                              <property name="stock">gtk-add</property>
 
524
                              <property name="icon_size">4</property>
 
525
                              <property name="xalign">0.5</property>
 
526
                              <property name="yalign">0.5</property>
 
527
                              <property name="xpad">0</property>
 
528
                              <property name="ypad">0</property>
 
529
                            </widget>
 
530
                            <packing>
 
531
                              <property name="padding">0</property>
 
532
                              <property name="expand">False</property>
 
533
                              <property name="fill">False</property>
 
534
                            </packing>
 
535
                          </child>
 
536
 
 
537
                          <child>
 
538
                            <widget class="GtkLabel" id="label3">
 
539
                              <property name="visible">True</property>
 
540
                              <property name="label" translatable="yes">_Function</property>
 
541
                              <property name="use_underline">True</property>
 
542
                              <property name="use_markup">False</property>
 
543
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
 
544
                              <property name="wrap">False</property>
 
545
                              <property name="selectable">False</property>
 
546
                              <property name="xalign">0.5</property>
 
547
                              <property name="yalign">0.5</property>
 
548
                              <property name="xpad">0</property>
 
549
                              <property name="ypad">0</property>
 
550
                            </widget>
 
551
                            <packing>
 
552
                              <property name="padding">0</property>
 
553
                              <property name="expand">False</property>
 
554
                              <property name="fill">False</property>
 
555
                            </packing>
 
556
                          </child>
 
557
                        </widget>
 
558
                      </child>
 
559
                    </widget>
 
560
                  </child>
 
561
                </widget>
 
562
                <packing>
 
563
                  <property name="padding">0</property>
 
564
                  <property name="expand">False</property>
 
565
                  <property name="fill">False</property>
 
566
                </packing>
 
567
              </child>
 
568
 
 
569
              <child>
 
570
                <widget class="GtkVBox" id="function_toolmenu">
 
571
                  <property name="homogeneous">False</property>
 
572
                  <property name="spacing">0</property>
 
573
 
 
574
                  <child>
 
575
                    <widget class="GtkToolbar" id="toolbar3">
 
576
                      <property name="visible">True</property>
 
577
                      <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
 
578
                      <property name="toolbar_style">GTK_TOOLBAR_ICONS</property>
 
579
                      <property name="tooltips">True</property>
 
580
 
 
581
                      <child>
 
582
                        <widget class="GtkButton" id="button12">
 
583
                          <property name="visible">True</property>
 
584
                          <property name="tooltip" translatable="yes">Define</property>
 
585
                          <property name="can_focus">True</property>
 
586
                          <property name="relief">GTK_RELIEF_NORMAL</property>
 
587
 
 
588
                          <child>
 
589
                            <widget class="GtkImage" id="image27">
 
590
                              <property name="visible">True</property>
 
591
                              <property name="stock">gtk-new</property>
 
592
                              <property name="icon_size">4</property>
 
593
                              <property name="xalign">0.5</property>
 
594
                              <property name="yalign">0.5</property>
 
595
                              <property name="xpad">0</property>
 
596
                              <property name="ypad">0</property>
 
597
                            </widget>
 
598
                          </child>
 
599
                        </widget>
 
600
                      </child>
 
601
 
 
602
                      <child>
 
603
                        <widget class="GtkButton" id="button31">
 
604
                          <property name="visible">True</property>
 
605
                          <property name="tooltip" translatable="yes">Load from file</property>
 
606
                          <property name="can_focus">True</property>
 
607
                          <property name="relief">GTK_RELIEF_NORMAL</property>
 
608
 
 
609
                          <child>
 
610
                            <widget class="GtkImage" id="image32">
 
611
                              <property name="visible">True</property>
 
612
                              <property name="stock">gtk-open</property>
 
613
                              <property name="icon_size">4</property>
 
614
                              <property name="xalign">0.5</property>
 
615
                              <property name="yalign">0.5</property>
 
616
                              <property name="xpad">0</property>
 
617
                              <property name="ypad">0</property>
 
618
                            </widget>
 
619
                          </child>
 
620
                        </widget>
 
621
                      </child>
 
622
 
 
623
                      <child>
 
624
                        <widget class="GtkButton" id="button30">
 
625
                          <property name="visible">True</property>
 
626
                          <property name="tooltip" translatable="yes">Save to file</property>
 
627
                          <property name="can_focus">True</property>
 
628
                          <property name="relief">GTK_RELIEF_NORMAL</property>
 
629
 
 
630
                          <child>
 
631
                            <widget class="GtkImage" id="image33">
 
632
                              <property name="visible">True</property>
 
633
                              <property name="stock">gtk-save</property>
 
634
                              <property name="icon_size">4</property>
 
635
                              <property name="xalign">0.5</property>
 
636
                              <property name="yalign">0.5</property>
 
637
                              <property name="xpad">0</property>
 
638
                              <property name="ypad">0</property>
 
639
                            </widget>
 
640
                          </child>
 
641
                        </widget>
 
642
                      </child>
 
643
 
 
644
                      <child>
 
645
                        <widget class="GtkButton" id="button28">
 
646
                          <property name="visible">True</property>
 
647
                          <property name="tooltip" translatable="yes">Construct</property>
 
648
                          <property name="can_focus">True</property>
 
649
                          <property name="relief">GTK_RELIEF_NORMAL</property>
 
650
 
 
651
                          <child>
 
652
                            <widget class="GtkImage" id="image29">
 
653
                              <property name="visible">True</property>
 
654
                              <property name="stock">gtk-preferences</property>
 
655
                              <property name="icon_size">4</property>
 
656
                              <property name="xalign">0.5</property>
 
657
                              <property name="yalign">0.5</property>
 
658
                              <property name="xpad">0</property>
 
659
                              <property name="ypad">0</property>
 
660
                            </widget>
 
661
                          </child>
 
662
                        </widget>
 
663
                      </child>
 
664
                    </widget>
 
665
                    <packing>
 
666
                      <property name="padding">0</property>
 
667
                      <property name="expand">False</property>
 
668
                      <property name="fill">False</property>
 
669
                    </packing>
 
670
                  </child>
 
671
 
 
672
                  <child>
 
673
                    <widget class="GtkToolbar" id="toolbar2">
 
674
                      <property name="visible">True</property>
 
675
                      <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
 
676
                      <property name="toolbar_style">GTK_TOOLBAR_ICONS</property>
 
677
                      <property name="tooltips">True</property>
 
678
 
 
679
                      <child>
 
680
                        <widget class="GtkButton" id="button26">
 
681
                          <property name="visible">True</property>
 
682
                          <property name="tooltip" translatable="yes">Differentiate</property>
 
683
                          <property name="can_focus">True</property>
 
684
                          <property name="relief">GTK_RELIEF_NORMAL</property>
 
685
 
 
686
                          <child>
 
687
                            <widget class="GtkImage" id="image31">
 
688
                              <property name="visible">True</property>
 
689
                              <property name="stock">gtk-sort-descending</property>
 
690
                              <property name="icon_size">4</property>
 
691
                              <property name="xalign">0.5</property>
 
692
                              <property name="yalign">0.5</property>
 
693
                              <property name="xpad">0</property>
 
694
                              <property name="ypad">0</property>
 
695
                            </widget>
 
696
                          </child>
 
697
                        </widget>
 
698
                      </child>
 
699
 
 
700
                      <child>
 
701
                        <widget class="GtkButton" id="button27">
 
702
                          <property name="visible">True</property>
 
703
                          <property name="tooltip" translatable="yes">Integrate</property>
 
704
                          <property name="can_focus">True</property>
 
705
                          <property name="relief">GTK_RELIEF_NORMAL</property>
 
706
 
 
707
                          <child>
 
708
                            <widget class="GtkImage" id="image30">
 
709
                              <property name="visible">True</property>
 
710
                              <property name="stock">gtk-sort-ascending</property>
 
711
                              <property name="icon_size">4</property>
 
712
                              <property name="xalign">0.5</property>
 
713
                              <property name="yalign">0.5</property>
 
714
                              <property name="xpad">0</property>
 
715
                              <property name="ypad">0</property>
 
716
                            </widget>
 
717
                          </child>
 
718
                        </widget>
 
719
                      </child>
 
720
 
 
721
                      <child>
 
722
                        <widget class="GtkButton" id="function_plot_toolbutton">
 
723
                          <property name="visible">True</property>
 
724
                          <property name="tooltip" translatable="yes">Plot</property>
 
725
                          <property name="can_focus">True</property>
 
726
                          <property name="relief">GTK_RELIEF_NORMAL</property>
 
727
 
 
728
                          <child>
 
729
                            <widget class="GtkImage" id="image28">
 
730
                              <property name="visible">True</property>
 
731
                              <property name="stock">gtk-convert</property>
 
732
                              <property name="icon_size">4</property>
 
733
                              <property name="xalign">0.5</property>
 
734
                              <property name="yalign">0.5</property>
 
735
                              <property name="xpad">0</property>
 
736
                              <property name="ypad">0</property>
 
737
                            </widget>
 
738
                          </child>
 
739
                        </widget>
 
740
                      </child>
 
741
 
 
742
                      <child>
 
743
                        <widget class="GtkVSeparator" id="vseparator1">
 
744
                          <property name="visible">True</property>
 
745
                        </widget>
 
746
                      </child>
 
747
                    </widget>
 
748
                    <packing>
 
749
                      <property name="padding">0</property>
 
750
                      <property name="expand">False</property>
 
751
                      <property name="fill">False</property>
 
752
                    </packing>
 
753
                  </child>
 
754
                </widget>
 
755
                <packing>
 
756
                  <property name="padding">0</property>
 
757
                  <property name="expand">False</property>
 
758
                  <property name="fill">True</property>
 
759
                </packing>
 
760
              </child>
 
761
 
 
762
              <child>
 
763
                <widget class="GtkButton" id="term_toolmenu_button">
 
764
                  <property name="visible">True</property>
 
765
                  <property name="can_focus">True</property>
 
766
                  <property name="relief">GTK_RELIEF_NONE</property>
 
767
                  <signal name="clicked" handler="on_term_toolmenu_button_clicked" last_modification_time="Sat, 20 Dec 2003 22:12:26 GMT"/>
 
768
 
 
769
                  <child>
 
770
                    <widget class="GtkAlignment" id="alignment5">
 
771
                      <property name="visible">True</property>
 
772
                      <property name="xalign">0.5</property>
 
773
                      <property name="yalign">0.5</property>
 
774
                      <property name="xscale">0</property>
 
775
                      <property name="yscale">0</property>
 
776
 
 
777
                      <child>
 
778
                        <widget class="GtkHBox" id="hbox8">
 
779
                          <property name="visible">True</property>
 
780
                          <property name="homogeneous">False</property>
 
781
                          <property name="spacing">2</property>
 
782
 
 
783
                          <child>
 
784
                            <widget class="GtkImage" id="term_toolmenu_icon">
 
785
                              <property name="visible">True</property>
 
786
                              <property name="stock">gtk-add</property>
 
787
                              <property name="icon_size">4</property>
 
788
                              <property name="xalign">0.5</property>
 
789
                              <property name="yalign">0.5</property>
 
790
                              <property name="xpad">0</property>
 
791
                              <property name="ypad">0</property>
 
792
                            </widget>
 
793
                            <packing>
 
794
                              <property name="padding">0</property>
 
795
                              <property name="expand">False</property>
 
796
                              <property name="fill">False</property>
 
797
                            </packing>
 
798
                          </child>
 
799
 
 
800
                          <child>
 
801
                            <widget class="GtkLabel" id="label7">
 
802
                              <property name="visible">True</property>
 
803
                              <property name="label" translatable="yes">_Term</property>
 
804
                              <property name="use_underline">True</property>
 
805
                              <property name="use_markup">False</property>
 
806
                              <property name="justify">GTK_JUSTIFY_LEFT</property>
 
807
                              <property name="wrap">False</property>
 
808
                              <property name="selectable">False</property>
 
809
                              <property name="xalign">0.5</property>
 
810
                              <property name="yalign">0.5</property>
 
811
                              <property name="xpad">0</property>
 
812
                              <property name="ypad">0</property>
 
813
                            </widget>
 
814
                            <packing>
 
815
                              <property name="padding">0</property>
 
816
                              <property name="expand">False</property>
 
817
                              <property name="fill">False</property>
 
818
                            </packing>
 
819
                          </child>
 
820
                        </widget>
 
821
                      </child>
 
822
                    </widget>
 
823
                  </child>
 
824
                </widget>
 
825
                <packing>
 
826
                  <property name="padding">0</property>
 
827
                  <property name="expand">False</property>
 
828
                  <property name="fill">False</property>
 
829
                </packing>
 
830
              </child>
 
831
 
 
832
              <child>
 
833
                <widget class="GtkVBox" id="term_toolmenu">
 
834
                  <property name="homogeneous">False</property>
 
835
                  <property name="spacing">0</property>
 
836
 
 
837
                  <child>
 
838
                    <widget class="GtkToolbar" id="toolbar4">
 
839
                      <property name="visible">True</property>
 
840
                      <property name="orientation">GTK_ORIENTATION_HORIZONTAL</property>
 
841
                      <property name="toolbar_style">GTK_TOOLBAR_ICONS</property>
 
842
                      <property name="tooltips">True</property>
 
843
 
 
844
                      <child>
 
845
                        <widget class="GtkButton" id="term_name_toolbutton">
 
846
                          <property name="visible">True</property>
 
847
                          <property name="tooltip" translatable="yes">Name</property>
 
848
                          <property name="can_focus">True</property>
 
849
                          <property name="relief">GTK_RELIEF_NORMAL</property>
 
850
 
 
851
                          <child>
 
852
                            <widget class="GtkImage" id="image34">
 
853
                              <property name="visible">True</property>
 
854
                              <property name="stock">gtk-save-as</property>
 
855
                              <property name="icon_size">4</property>
 
856
                              <property name="xalign">0.5</property>
 
857
                              <property name="yalign">0.5</property>
 
858
                              <property name="xpad">0</property>
 
859
                              <property name="ypad">0</property>
 
860
                            </widget>
 
861
                          </child>
 
862
                        </widget>
 
863
                      </child>
 
864
                    </widget>
 
865
                    <packing>
 
866
                      <property name="padding">0</property>
 
867
                      <property name="expand">False</property>
 
868
                      <property name="fill">False</property>
 
869
                    </packing>
 
870
                  </child>
 
871
                </widget>
 
872
                <packing>
 
873
                  <property name="padding">0</property>
 
874
                  <property name="expand">False</property>
 
875
                  <property name="fill">True</property>
 
876
                </packing>
 
877
              </child>
 
878
            </widget>
 
879
            <packing>
 
880
              <property name="padding">0</property>
 
881
              <property name="expand">False</property>
 
882
              <property name="fill">True</property>
 
883
            </packing>
 
884
          </child>
 
885
        </widget>
 
886
        <packing>
 
887
          <property name="padding">0</property>
 
888
          <property name="expand">True</property>
 
889
          <property name="fill">True</property>
 
890
        </packing>
 
891
      </child>
 
892
 
 
893
      <child>
 
894
        <widget class="GtkHBox" id="hbox9">
 
895
          <property name="visible">True</property>
 
896
          <property name="homogeneous">False</property>
 
897
          <property name="spacing">0</property>
 
898
 
 
899
          <child>
 
900
            <widget class="GtkImage" id="status_icon">
 
901
              <property name="visible">True</property>
 
902
              <property name="stock">gtk-execute</property>
 
903
              <property name="icon_size">1</property>
 
904
              <property name="xalign">0.5</property>
 
905
              <property name="yalign">0.5</property>
 
906
              <property name="xpad">0</property>
 
907
              <property name="ypad">0</property>
 
908
            </widget>
 
909
            <packing>
 
910
              <property name="padding">0</property>
 
911
              <property name="expand">False</property>
 
912
              <property name="fill">True</property>
 
913
            </packing>
 
914
          </child>
 
915
 
 
916
          <child>
 
917
            <widget class="GtkStatusbar" id="status_bar">
 
918
              <property name="visible">True</property>
 
919
              <property name="has_resize_grip">True</property>
 
920
            </widget>
 
921
            <packing>
 
922
              <property name="padding">0</property>
 
923
              <property name="expand">True</property>
 
924
              <property name="fill">True</property>
 
925
            </packing>
 
926
          </child>
 
927
        </widget>
 
928
        <packing>
 
929
          <property name="padding">0</property>
 
930
          <property name="expand">False</property>
 
931
          <property name="fill">True</property>
 
932
        </packing>
 
933
      </child>
 
934
    </widget>
 
935
  </child>
 
936
</widget>
 
937
 
 
938
<widget class="GtkDialog" id="info_dialog">
 
939
  <property name="visible">True</property>
 
940
  <property name="title" translatable="yes">About Mascyma</property>
 
941
  <property name="type">GTK_WINDOW_TOPLEVEL</property>
 
942
  <property name="window_position">GTK_WIN_POS_NONE</property>
 
943
  <property name="modal">False</property>
 
944
  <property name="resizable">True</property>
 
945
  <property name="destroy_with_parent">False</property>
 
946
  <property name="has_separator">True</property>
 
947
 
 
948
  <child internal-child="vbox">
 
949
    <widget class="GtkVBox" id="dialog-vbox1">
 
950
      <property name="visible">True</property>
 
951
      <property name="homogeneous">False</property>
 
952
      <property name="spacing">0</property>
 
953
 
 
954
      <child internal-child="action_area">
 
955
        <widget class="GtkHButtonBox" id="action_area">
 
956
          <property name="visible">True</property>
 
957
          <property name="layout_style">GTK_BUTTONBOX_END</property>
 
958
 
 
959
          <child>
 
960
            <widget class="GtkButton" id="close_button">
 
961
              <property name="visible">True</property>
 
962
              <property name="can_default">True</property>
 
963
              <property name="can_focus">True</property>
 
964
              <property name="label">gtk-close</property>
 
965
              <property name="use_stock">True</property>
 
966
              <property name="relief">GTK_RELIEF_NORMAL</property>
 
967
              <property name="response_id">-7</property>
 
968
              <signal name="clicked" handler="on_close_button_clicked" last_modification_time="Sun, 14 Dec 2003 22:04:44 GMT"/>
 
969
            </widget>
 
970
          </child>
 
971
        </widget>
 
972
        <packing>
 
973
          <property name="padding">0</property>
 
974
          <property name="expand">False</property>
 
975
          <property name="fill">True</property>
 
976
          <property name="pack_type">GTK_PACK_END</property>
 
977
        </packing>
 
978
      </child>
 
979
 
 
980
      <child>
 
981
        <widget class="GtkVBox" id="vbox2">
 
982
          <property name="visible">True</property>
 
983
          <property name="homogeneous">False</property>
 
984
          <property name="spacing">0</property>
 
985
 
 
986
          <child>
 
987
            <widget class="GtkImage" id="image1">
 
988
              <property name="visible">True</property>
 
989
              <property name="stock">gtk-dialog-info</property>
 
990
              <property name="icon_size">6</property>
 
991
              <property name="xalign">0.5</property>
 
992
              <property name="yalign">0.5</property>
 
993
              <property name="xpad">0</property>
 
994
              <property name="ypad">0</property>
 
995
            </widget>
 
996
            <packing>
 
997
              <property name="padding">0</property>
 
998
              <property name="expand">True</property>
 
999
              <property name="fill">True</property>
 
1000
            </packing>
 
1001
          </child>
 
1002
 
 
1003
          <child>
 
1004
            <widget class="GtkLabel" id="mascyma_info_heading_label">
 
1005
              <property name="visible">True</property>
 
1006
              <property name="can_focus">True</property>
 
1007
              <property name="label" translatable="yes">&lt;span stretch='semiexpanded'&gt;&lt;b&gt;&lt;big&gt;&lt;big&gt;Mascyma&lt;/big&gt;&lt;/big&gt;&lt;/b&gt;&lt;/span&gt;</property>
 
1008
              <property name="use_underline">False</property>
 
1009
              <property name="use_markup">True</property>
 
1010
              <property name="justify">GTK_JUSTIFY_CENTER</property>
 
1011
              <property name="wrap">True</property>
 
1012
              <property name="selectable">True</property>
 
1013
              <property name="xalign">0.5</property>
 
1014
              <property name="yalign">0.5</property>
 
1015
              <property name="xpad">0</property>
 
1016
              <property name="ypad">0</property>
 
1017
            </widget>
 
1018
            <packing>
 
1019
              <property name="padding">0</property>
 
1020
              <property name="expand">True</property>
 
1021
              <property name="fill">True</property>
 
1022
            </packing>
 
1023
          </child>
 
1024
 
 
1025
          <child>
 
1026
            <widget class="GtkLabel" id="mascyma_info_label">
 
1027
              <property name="visible">True</property>
 
1028
              <property name="can_focus">True</property>
 
1029
              <property name="label" translatable="yes">Mascyma is a free frontend for the computer algebra system GNU Maxima (formerly known as DOE Macsyma).
 
1030
 
 
1031
&lt;u&gt;Mascyma is based on:&lt;/u&gt;
 
1032
        - &lt;b&gt;MAXIMA&lt;/b&gt;
 
1033
         &lt;tt&gt;http://maxima.sourceforge.net/&lt;/tt&gt;
 
1034
        - &lt;b&gt;The Python Programming Language&lt;/b&gt;
 
1035
         &lt;tt&gt;http://www.python.org/&lt;/tt&gt;
 
1036
        - &lt;b&gt;GTK for Python&lt;/b&gt;
 
1037
         &lt;tt&gt;http://&lt;/tt&gt;
 
1038
        - &lt;b&gt;GNU gettext&lt;/b&gt;
 
1039
         &lt;tt&gt;http://www.gnu.org/software/gettext/&lt;/tt&gt;
 
1040
 
 
1041
&lt;u&gt;Special thanks to:&lt;/u&gt;
 
1042
        - Mr. Sachenbacher, for being an incredibly great Math teacher
 
1043
        - Microsoft, for not having sued us to death yet</property>
 
1044
              <property name="use_underline">False</property>
 
1045
              <property name="use_markup">True</property>
 
1046
              <property name="justify">GTK_JUSTIFY_LEFT</property>
 
1047
              <property name="wrap">True</property>
 
1048
              <property name="selectable">True</property>
 
1049
              <property name="xalign">0.51</property>
 
1050
              <property name="yalign">0.5</property>
 
1051
              <property name="xpad">0</property>
 
1052
              <property name="ypad">0</property>
 
1053
            </widget>
 
1054
            <packing>
 
1055
              <property name="padding">0</property>
 
1056
              <property name="expand">True</property>
 
1057
              <property name="fill">True</property>
 
1058
            </packing>
 
1059
          </child>
 
1060
 
 
1061
          <child>
 
1062
            <widget class="GtkHSeparator" id="hseparator1">
 
1063
              <property name="visible">True</property>
 
1064
            </widget>
 
1065
            <packing>
 
1066
              <property name="padding">0</property>
 
1067
              <property name="expand">True</property>
 
1068
              <property name="fill">True</property>
 
1069
            </packing>
 
1070
          </child>
 
1071
 
 
1072
          <child>
 
1073
            <widget class="GnomeHRef" id="href1">
 
1074
              <property name="visible">True</property>
 
1075
              <property name="tooltip" translatable="yes">The Mascyma Homepage</property>
 
1076
              <property name="can_focus">True</property>
 
1077
              <property name="url">http://www.brummulk.de.vu/projects/mascyma/</property>
 
1078
              <property name="label" translatable="yes">http://www.brummulk.de.vu/projects/mascyma/</property>
 
1079
            </widget>
 
1080
            <packing>
 
1081
              <property name="padding">0</property>
 
1082
              <property name="expand">True</property>
 
1083
              <property name="fill">True</property>
 
1084
            </packing>
 
1085
          </child>
 
1086
        </widget>
 
1087
        <packing>
 
1088
          <property name="padding">0</property>
 
1089
          <property name="expand">True</property>
 
1090
          <property name="fill">True</property>
 
1091
        </packing>
 
1092
      </child>
 
1093
    </widget>
 
1094
  </child>
 
1095
</widget>
 
1096
 
 
1097
</glade-interface>