?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
build fix
[LibreOffice.git] / starmath / uiconfig / smath / ui / spacingdialog.ui
blobf4f4f955219c4d84e264abe5cf6499ea533112f1
1 <?xml version="1.0" encoding="UTF-8"?>
2 <!-- Generated with glade 3.18.3 -->
3 <interface>
4 <requires lib="gtk+" version="3.0"/>
5 <object class="GtkDialog" id="SpacingDialog">
6 <property name="can_focus">False</property>
7 <property name="border_width">6</property>
8 <property name="title" translatable="yes">Spacing</property>
9 <property name="resizable">False</property>
10 <property name="modal">True</property>
11 <property name="type_hint">dialog</property>
12 <child internal-child="vbox">
13 <object class="GtkBox" id="dialog-vbox4">
14 <property name="can_focus">False</property>
15 <property name="spacing">12</property>
16 <child internal-child="action_area">
17 <object class="GtkButtonBox" id="dialog-action_area4">
18 <property name="can_focus">False</property>
19 <property name="orientation">vertical</property>
20 <property name="layout_style">start</property>
21 <child>
22 <object class="GtkButton" id="ok">
23 <property name="label">gtk-ok</property>
24 <property name="visible">True</property>
25 <property name="can_focus">True</property>
26 <property name="can_default">True</property>
27 <property name="has_default">True</property>
28 <property name="receives_default">True</property>
29 <property name="use_stock">True</property>
30 </object>
31 <packing>
32 <property name="expand">False</property>
33 <property name="fill">True</property>
34 <property name="position">0</property>
35 </packing>
36 </child>
37 <child>
38 <object class="GtkButton" id="cancel">
39 <property name="label">gtk-cancel</property>
40 <property name="visible">True</property>
41 <property name="can_focus">True</property>
42 <property name="receives_default">True</property>
43 <property name="use_stock">True</property>
44 </object>
45 <packing>
46 <property name="expand">False</property>
47 <property name="fill">True</property>
48 <property name="position">1</property>
49 </packing>
50 </child>
51 <child>
52 <object class="GtkButton" id="category:menu">
53 <property name="label" translatable="yes">_Category</property>
54 <property name="visible">True</property>
55 <property name="can_focus">True</property>
56 <property name="receives_default">True</property>
57 <property name="use_underline">True</property>
58 </object>
59 <packing>
60 <property name="expand">False</property>
61 <property name="fill">True</property>
62 <property name="position">2</property>
63 <property name="secondary">True</property>
64 </packing>
65 </child>
66 <child>
67 <object class="GtkButton" id="default">
68 <property name="label" translatable="yes">_Default</property>
69 <property name="visible">True</property>
70 <property name="can_focus">True</property>
71 <property name="receives_default">True</property>
72 <property name="use_underline">True</property>
73 </object>
74 <packing>
75 <property name="expand">False</property>
76 <property name="fill">True</property>
77 <property name="position">3</property>
78 <property name="secondary">True</property>
79 </packing>
80 </child>
81 <child>
82 <object class="GtkButton" id="help">
83 <property name="label">gtk-help</property>
84 <property name="visible">True</property>
85 <property name="can_focus">True</property>
86 <property name="receives_default">True</property>
87 <property name="use_stock">True</property>
88 </object>
89 <packing>
90 <property name="expand">False</property>
91 <property name="fill">True</property>
92 <property name="position">4</property>
93 <property name="secondary">True</property>
94 </packing>
95 </child>
96 </object>
97 <packing>
98 <property name="expand">False</property>
99 <property name="fill">True</property>
100 <property name="pack_type">end</property>
101 <property name="position">0</property>
102 </packing>
103 </child>
104 <child>
105 <object class="GtkBox" id="box1">
106 <property name="visible">True</property>
107 <property name="can_focus">False</property>
108 <property name="hexpand">True</property>
109 <property name="vexpand">True</property>
110 <property name="orientation">vertical</property>
111 <property name="spacing">12</property>
112 <child>
113 <object class="GtkFrame" id="template">
114 <property name="visible">True</property>
115 <property name="can_focus">False</property>
116 <property name="hexpand">True</property>
117 <property name="vexpand">True</property>
118 <property name="label_xalign">0</property>
119 <property name="shadow_type">none</property>
120 <child>
121 <object class="GtkAlignment" id="alignment2">
122 <property name="visible">True</property>
123 <property name="can_focus">False</property>
124 <property name="hexpand">True</property>
125 <property name="vexpand">True</property>
126 <property name="top_padding">6</property>
127 <property name="left_padding">12</property>
128 <child>
129 <object class="GtkBox" id="box4">
130 <property name="visible">True</property>
131 <property name="can_focus">False</property>
132 <property name="hexpand">True</property>
133 <property name="vexpand">True</property>
134 <property name="orientation">vertical</property>
135 <child>
136 <object class="GtkBox" id="box5">
137 <property name="visible">True</property>
138 <property name="can_focus">False</property>
139 <property name="hexpand">True</property>
140 <property name="spacing">12</property>
141 <child>
142 <object class="GtkGrid" id="grid2">
143 <property name="visible">True</property>
144 <property name="can_focus">False</property>
145 <property name="hexpand">True</property>
146 <property name="row_spacing">6</property>
147 <property name="column_spacing">12</property>
148 <child>
149 <object class="GtkSpinButton" id="spinbutton1:0.00cm">
150 <property name="can_focus">True</property>
151 <property name="no_show_all">True</property>
152 <property name="invisible_char">●</property>
153 </object>
154 <packing>
155 <property name="left_attach">1</property>
156 <property name="top_attach">0</property>
157 </packing>
158 </child>
159 <child>
160 <object class="GtkSpinButton" id="spinbutton2:0.00cm">
161 <property name="can_focus">True</property>
162 <property name="no_show_all">True</property>
163 <property name="invisible_char">●</property>
164 </object>
165 <packing>
166 <property name="left_attach">1</property>
167 <property name="top_attach">1</property>
168 </packing>
169 </child>
170 <child>
171 <object class="GtkSpinButton" id="spinbutton3:0.00cm">
172 <property name="can_focus">True</property>
173 <property name="no_show_all">True</property>
174 <property name="invisible_char">●</property>
175 </object>
176 <packing>
177 <property name="left_attach">1</property>
178 <property name="top_attach">3</property>
179 </packing>
180 </child>
181 <child>
182 <object class="GtkLabel" id="label1">
183 <property name="can_focus">False</property>
184 <property name="no_show_all">True</property>
185 <property name="xalign">0</property>
186 <property name="label" translatable="no">String 1</property>
187 <property name="use_underline">True</property>
188 <property name="mnemonic_widget">spinbutton1:0.00cm</property>
189 </object>
190 <packing>
191 <property name="left_attach">0</property>
192 <property name="top_attach">0</property>
193 </packing>
194 </child>
195 <child>
196 <object class="GtkLabel" id="label2">
197 <property name="can_focus">False</property>
198 <property name="no_show_all">True</property>
199 <property name="xalign">0</property>
200 <property name="label" translatable="no">String 2</property>
201 <property name="use_underline">True</property>
202 <property name="mnemonic_widget">spinbutton2:0.00cm</property>
203 </object>
204 <packing>
205 <property name="left_attach">0</property>
206 <property name="top_attach">1</property>
207 </packing>
208 </child>
209 <child>
210 <object class="GtkLabel" id="label3">
211 <property name="can_focus">False</property>
212 <property name="no_show_all">True</property>
213 <property name="xalign">0</property>
214 <property name="label" translatable="no">String 3</property>
215 <property name="use_underline">True</property>
216 <property name="mnemonic_widget">spinbutton3:0.00cm</property>
217 </object>
218 <packing>
219 <property name="left_attach">0</property>
220 <property name="top_attach">3</property>
221 </packing>
222 </child>
223 <child>
224 <object class="GtkSpinButton" id="spinbutton4:0.00cm">
225 <property name="can_focus">True</property>
226 <property name="no_show_all">True</property>
227 <property name="invisible_char">●</property>
228 </object>
229 <packing>
230 <property name="left_attach">1</property>
231 <property name="top_attach">4</property>
232 </packing>
233 </child>
234 <child>
235 <object class="GtkLabel" id="label4">
236 <property name="can_focus">False</property>
237 <property name="no_show_all">True</property>
238 <property name="xalign">0</property>
239 <property name="label" translatable="no">String 4</property>
240 <property name="use_underline">True</property>
241 <property name="mnemonic_widget">spinbutton4:0.00cm</property>
242 </object>
243 <packing>
244 <property name="left_attach">0</property>
245 <property name="top_attach">4</property>
246 </packing>
247 </child>
248 <child>
249 <object class="GtkCheckButton" id="checkbutton">
250 <property name="label" translatable="yes">Scale all brackets</property>
251 <property name="can_focus">True</property>
252 <property name="receives_default">False</property>
253 <property name="no_show_all">True</property>
254 <property name="xalign">0</property>
255 <property name="draw_indicator">True</property>
256 </object>
257 <packing>
258 <property name="left_attach">0</property>
259 <property name="top_attach">2</property>
260 <property name="width">2</property>
261 </packing>
262 </child>
263 </object>
264 <packing>
265 <property name="expand">False</property>
266 <property name="fill">True</property>
267 <property name="position">0</property>
268 </packing>
269 </child>
270 <child>
271 <object class="GtkBox" id="box6">
272 <property name="visible">True</property>
273 <property name="can_focus">False</property>
274 <property name="orientation">vertical</property>
275 <child>
276 <object class="GtkImage" id="image">
277 <property name="visible">True</property>
278 <property name="can_focus">False</property>
279 <property name="stock">gtk-missing-image</property>
280 </object>
281 <packing>
282 <property name="expand">False</property>
283 <property name="fill">True</property>
284 <property name="position">0</property>
285 </packing>
286 </child>
287 </object>
288 <packing>
289 <property name="expand">False</property>
290 <property name="fill">True</property>
291 <property name="position">1</property>
292 </packing>
293 </child>
294 </object>
295 <packing>
296 <property name="expand">False</property>
297 <property name="fill">True</property>
298 <property name="position">0</property>
299 </packing>
300 </child>
301 </object>
302 </child>
303 </object>
304 </child>
305 <child type="label">
306 <object class="GtkLabel" id="title">
307 <property name="visible">True</property>
308 <property name="can_focus">False</property>
309 <property name="xalign">0</property>
310 <property name="label" translatable="yes">Title</property>
311 <property name="use_underline">True</property>
312 <attributes>
313 <attribute name="weight" value="bold"/>
314 </attributes>
315 </object>
316 </child>
317 </object>
318 <packing>
319 <property name="expand">False</property>
320 <property name="fill">True</property>
321 <property name="position">0</property>
322 </packing>
323 </child>
324 <child>
325 <object class="GtkFrame" id="frame1">
326 <property name="can_focus">False</property>
327 <property name="no_show_all">True</property>
328 <property name="hexpand">True</property>
329 <property name="vexpand">True</property>
330 <property name="label_xalign">0</property>
331 <property name="shadow_type">none</property>
332 <child>
333 <object class="GtkAlignment" id="alignment3">
334 <property name="visible">True</property>
335 <property name="can_focus">False</property>
336 <property name="hexpand">True</property>
337 <property name="vexpand">True</property>
338 <property name="top_padding">6</property>
339 <property name="left_padding">12</property>
340 <child>
341 <object class="GtkBox" id="box8">
342 <property name="visible">True</property>
343 <property name="can_focus">False</property>
344 <property name="hexpand">True</property>
345 <property name="vexpand">True</property>
346 <property name="orientation">vertical</property>
347 <child>
348 <object class="GtkBox" id="box9">
349 <property name="visible">True</property>
350 <property name="can_focus">False</property>
351 <property name="hexpand">True</property>
352 <property name="spacing">12</property>
353 <child>
354 <object class="GtkGrid" id="grid3">
355 <property name="visible">True</property>
356 <property name="can_focus">False</property>
357 <property name="hexpand">True</property>
358 <property name="row_spacing">6</property>
359 <property name="column_spacing">12</property>
360 <child>
361 <object class="GtkLabel" id="1label1">
362 <property name="visible">True</property>
363 <property name="can_focus">False</property>
364 <property name="xalign">0</property>
365 <property name="label" translatable="yes">_Spacing:</property>
366 <property name="use_underline">True</property>
367 </object>
368 <packing>
369 <property name="left_attach">0</property>
370 <property name="top_attach">0</property>
371 </packing>
372 </child>
373 <child>
374 <object class="GtkLabel" id="1label2">
375 <property name="visible">True</property>
376 <property name="can_focus">False</property>
377 <property name="xalign">0</property>
378 <property name="label" translatable="yes">_Line spacing:</property>
379 <property name="use_underline">True</property>
380 </object>
381 <packing>
382 <property name="left_attach">0</property>
383 <property name="top_attach">1</property>
384 </packing>
385 </child>
386 <child>
387 <object class="GtkLabel" id="1label3">
388 <property name="visible">True</property>
389 <property name="can_focus">False</property>
390 <property name="xalign">0</property>
391 <property name="label" translatable="yes">_Root spacing:</property>
392 <property name="use_underline">True</property>
393 </object>
394 <packing>
395 <property name="left_attach">0</property>
396 <property name="top_attach">2</property>
397 </packing>
398 </child>
399 </object>
400 <packing>
401 <property name="expand">False</property>
402 <property name="fill">True</property>
403 <property name="position">0</property>
404 </packing>
405 </child>
406 <child>
407 <object class="GtkBox" id="box10">
408 <property name="visible">True</property>
409 <property name="can_focus">False</property>
410 <property name="orientation">vertical</property>
411 <child>
412 <object class="GtkImage" id="1image1">
413 <property name="visible">True</property>
414 <property name="can_focus">False</property>
415 <property name="pixbuf">starmath/res/dist11.png</property>
416 </object>
417 <packing>
418 <property name="expand">False</property>
419 <property name="fill">True</property>
420 <property name="position">0</property>
421 </packing>
422 </child>
423 <child>
424 <object class="GtkImage" id="1image2">
425 <property name="visible">True</property>
426 <property name="can_focus">False</property>
427 <property name="pixbuf">starmath/res/dist12.png</property>
428 </object>
429 <packing>
430 <property name="expand">False</property>
431 <property name="fill">True</property>
432 <property name="position">1</property>
433 </packing>
434 </child>
435 <child>
436 <object class="GtkImage" id="1image3">
437 <property name="visible">True</property>
438 <property name="can_focus">False</property>
439 <property name="pixbuf">starmath/res/dist13.png</property>
440 </object>
441 <packing>
442 <property name="expand">False</property>
443 <property name="fill">True</property>
444 <property name="position">2</property>
445 </packing>
446 </child>
447 </object>
448 <packing>
449 <property name="expand">False</property>
450 <property name="fill">True</property>
451 <property name="position">1</property>
452 </packing>
453 </child>
454 </object>
455 <packing>
456 <property name="expand">False</property>
457 <property name="fill">True</property>
458 <property name="position">0</property>
459 </packing>
460 </child>
461 </object>
462 </child>
463 </object>
464 </child>
465 <child type="label">
466 <object class="GtkLabel" id="1title">
467 <property name="visible">True</property>
468 <property name="can_focus">False</property>
469 <property name="label" translatable="yes">Spacing</property>
470 <property name="use_underline">True</property>
471 <attributes>
472 <attribute name="weight" value="bold"/>
473 </attributes>
474 </object>
475 </child>
476 </object>
477 <packing>
478 <property name="expand">False</property>
479 <property name="fill">True</property>
480 <property name="position">1</property>
481 </packing>
482 </child>
483 <child>
484 <object class="GtkFrame" id="frame2">
485 <property name="can_focus">False</property>
486 <property name="no_show_all">True</property>
487 <property name="hexpand">True</property>
488 <property name="vexpand">True</property>
489 <property name="label_xalign">0</property>
490 <property name="shadow_type">none</property>
491 <child>
492 <object class="GtkAlignment" id="alignment4">
493 <property name="visible">True</property>
494 <property name="can_focus">False</property>
495 <property name="hexpand">True</property>
496 <property name="vexpand">True</property>
497 <property name="top_padding">6</property>
498 <property name="left_padding">12</property>
499 <child>
500 <object class="GtkBox" id="box11">
501 <property name="visible">True</property>
502 <property name="can_focus">False</property>
503 <property name="hexpand">True</property>
504 <property name="vexpand">True</property>
505 <property name="orientation">vertical</property>
506 <child>
507 <object class="GtkBox" id="box12">
508 <property name="visible">True</property>
509 <property name="can_focus">False</property>
510 <property name="hexpand">True</property>
511 <property name="spacing">12</property>
512 <child>
513 <object class="GtkGrid" id="grid4">
514 <property name="visible">True</property>
515 <property name="can_focus">False</property>
516 <property name="hexpand">True</property>
517 <property name="row_spacing">6</property>
518 <property name="column_spacing">12</property>
519 <child>
520 <object class="GtkLabel" id="2label1">
521 <property name="visible">True</property>
522 <property name="can_focus">False</property>
523 <property name="xalign">0</property>
524 <property name="label" translatable="yes">_Superscript:</property>
525 <property name="use_underline">True</property>
526 </object>
527 <packing>
528 <property name="left_attach">0</property>
529 <property name="top_attach">0</property>
530 </packing>
531 </child>
532 <child>
533 <object class="GtkLabel" id="2label2">
534 <property name="visible">True</property>
535 <property name="can_focus">False</property>
536 <property name="xalign">0</property>
537 <property name="label" translatable="yes">S_ubscript:</property>
538 <property name="use_underline">True</property>
539 </object>
540 <packing>
541 <property name="left_attach">0</property>
542 <property name="top_attach">1</property>
543 </packing>
544 </child>
545 </object>
546 <packing>
547 <property name="expand">False</property>
548 <property name="fill">True</property>
549 <property name="position">0</property>
550 </packing>
551 </child>
552 <child>
553 <object class="GtkBox" id="box13">
554 <property name="visible">True</property>
555 <property name="can_focus">False</property>
556 <property name="orientation">vertical</property>
557 <child>
558 <object class="GtkImage" id="2image1">
559 <property name="visible">True</property>
560 <property name="can_focus">False</property>
561 <property name="pixbuf">starmath/res/dist21.png</property>
562 </object>
563 <packing>
564 <property name="expand">False</property>
565 <property name="fill">True</property>
566 <property name="position">0</property>
567 </packing>
568 </child>
569 <child>
570 <object class="GtkImage" id="2image2">
571 <property name="visible">True</property>
572 <property name="can_focus">False</property>
573 <property name="pixbuf">starmath/res/dist22.png</property>
574 </object>
575 <packing>
576 <property name="expand">False</property>
577 <property name="fill">True</property>
578 <property name="position">1</property>
579 </packing>
580 </child>
581 </object>
582 <packing>
583 <property name="expand">False</property>
584 <property name="fill">True</property>
585 <property name="position">1</property>
586 </packing>
587 </child>
588 </object>
589 <packing>
590 <property name="expand">False</property>
591 <property name="fill">True</property>
592 <property name="position">0</property>
593 </packing>
594 </child>
595 </object>
596 </child>
597 </object>
598 </child>
599 <child type="label">
600 <object class="GtkLabel" id="2title">
601 <property name="visible">True</property>
602 <property name="can_focus">False</property>
603 <property name="label" translatable="yes">Indexes</property>
604 <property name="use_underline">True</property>
605 <attributes>
606 <attribute name="weight" value="bold"/>
607 </attributes>
608 </object>
609 </child>
610 </object>
611 <packing>
612 <property name="expand">False</property>
613 <property name="fill">True</property>
614 <property name="position">2</property>
615 </packing>
616 </child>
617 <child>
618 <object class="GtkFrame" id="frame3">
619 <property name="can_focus">False</property>
620 <property name="no_show_all">True</property>
621 <property name="hexpand">True</property>
622 <property name="vexpand">True</property>
623 <property name="label_xalign">0</property>
624 <property name="shadow_type">none</property>
625 <child>
626 <object class="GtkAlignment" id="alignment5">
627 <property name="visible">True</property>
628 <property name="can_focus">False</property>
629 <property name="hexpand">True</property>
630 <property name="vexpand">True</property>
631 <property name="top_padding">6</property>
632 <property name="left_padding">12</property>
633 <child>
634 <object class="GtkBox" id="box14">
635 <property name="visible">True</property>
636 <property name="can_focus">False</property>
637 <property name="hexpand">True</property>
638 <property name="vexpand">True</property>
639 <property name="orientation">vertical</property>
640 <child>
641 <object class="GtkBox" id="box15">
642 <property name="visible">True</property>
643 <property name="can_focus">False</property>
644 <property name="hexpand">True</property>
645 <property name="spacing">12</property>
646 <child>
647 <object class="GtkGrid" id="grid5">
648 <property name="visible">True</property>
649 <property name="can_focus">False</property>
650 <property name="hexpand">True</property>
651 <property name="row_spacing">6</property>
652 <property name="column_spacing">12</property>
653 <child>
654 <object class="GtkLabel" id="3label1">
655 <property name="visible">True</property>
656 <property name="can_focus">False</property>
657 <property name="xalign">0</property>
658 <property name="label" translatable="yes">_Numerator:</property>
659 <property name="use_underline">True</property>
660 </object>
661 <packing>
662 <property name="left_attach">0</property>
663 <property name="top_attach">0</property>
664 </packing>
665 </child>
666 <child>
667 <object class="GtkLabel" id="3label2">
668 <property name="visible">True</property>
669 <property name="can_focus">False</property>
670 <property name="xalign">0</property>
671 <property name="label" translatable="yes">_Denominator:</property>
672 <property name="use_underline">True</property>
673 </object>
674 <packing>
675 <property name="left_attach">0</property>
676 <property name="top_attach">1</property>
677 </packing>
678 </child>
679 </object>
680 <packing>
681 <property name="expand">False</property>
682 <property name="fill">True</property>
683 <property name="position">0</property>
684 </packing>
685 </child>
686 <child>
687 <object class="GtkBox" id="box16">
688 <property name="visible">True</property>
689 <property name="can_focus">False</property>
690 <property name="orientation">vertical</property>
691 <child>
692 <object class="GtkImage" id="3image1">
693 <property name="visible">True</property>
694 <property name="can_focus">False</property>
695 <property name="pixbuf">starmath/res/dist31.png</property>
696 </object>
697 <packing>
698 <property name="expand">False</property>
699 <property name="fill">True</property>
700 <property name="position">0</property>
701 </packing>
702 </child>
703 <child>
704 <object class="GtkImage" id="3image2">
705 <property name="visible">True</property>
706 <property name="can_focus">False</property>
707 <property name="pixbuf">starmath/res/dist32.png</property>
708 </object>
709 <packing>
710 <property name="expand">False</property>
711 <property name="fill">True</property>
712 <property name="position">1</property>
713 </packing>
714 </child>
715 </object>
716 <packing>
717 <property name="expand">False</property>
718 <property name="fill">True</property>
719 <property name="position">1</property>
720 </packing>
721 </child>
722 </object>
723 <packing>
724 <property name="expand">False</property>
725 <property name="fill">True</property>
726 <property name="position">0</property>
727 </packing>
728 </child>
729 </object>
730 </child>
731 </object>
732 </child>
733 <child type="label">
734 <object class="GtkLabel" id="3title">
735 <property name="visible">True</property>
736 <property name="can_focus">False</property>
737 <property name="label" translatable="yes">Fractions</property>
738 <property name="use_underline">True</property>
739 <attributes>
740 <attribute name="weight" value="bold"/>
741 </attributes>
742 </object>
743 </child>
744 </object>
745 <packing>
746 <property name="expand">False</property>
747 <property name="fill">True</property>
748 <property name="position">3</property>
749 </packing>
750 </child>
751 <child>
752 <object class="GtkFrame" id="frame4">
753 <property name="can_focus">False</property>
754 <property name="no_show_all">True</property>
755 <property name="hexpand">True</property>
756 <property name="vexpand">True</property>
757 <property name="label_xalign">0</property>
758 <property name="shadow_type">none</property>
759 <child>
760 <object class="GtkAlignment" id="alignment6">
761 <property name="visible">True</property>
762 <property name="can_focus">False</property>
763 <property name="hexpand">True</property>
764 <property name="vexpand">True</property>
765 <property name="top_padding">6</property>
766 <property name="left_padding">12</property>
767 <child>
768 <object class="GtkBox" id="box17">
769 <property name="visible">True</property>
770 <property name="can_focus">False</property>
771 <property name="hexpand">True</property>
772 <property name="vexpand">True</property>
773 <property name="orientation">vertical</property>
774 <child>
775 <object class="GtkBox" id="box18">
776 <property name="visible">True</property>
777 <property name="can_focus">False</property>
778 <property name="hexpand">True</property>
779 <property name="spacing">12</property>
780 <child>
781 <object class="GtkGrid" id="grid6">
782 <property name="visible">True</property>
783 <property name="can_focus">False</property>
784 <property name="hexpand">True</property>
785 <property name="row_spacing">6</property>
786 <property name="column_spacing">12</property>
787 <child>
788 <object class="GtkLabel" id="4label1">
789 <property name="visible">True</property>
790 <property name="can_focus">False</property>
791 <property name="xalign">0</property>
792 <property name="label" translatable="yes">_Excess length:</property>
793 <property name="use_underline">True</property>
794 </object>
795 <packing>
796 <property name="left_attach">0</property>
797 <property name="top_attach">0</property>
798 </packing>
799 </child>
800 <child>
801 <object class="GtkLabel" id="4label2">
802 <property name="visible">True</property>
803 <property name="can_focus">False</property>
804 <property name="xalign">0</property>
805 <property name="label" translatable="yes">_Weight:</property>
806 <property name="use_underline">True</property>
807 </object>
808 <packing>
809 <property name="left_attach">0</property>
810 <property name="top_attach">1</property>
811 </packing>
812 </child>
813 </object>
814 <packing>
815 <property name="expand">False</property>
816 <property name="fill">True</property>
817 <property name="position">0</property>
818 </packing>
819 </child>
820 <child>
821 <object class="GtkBox" id="box19">
822 <property name="visible">True</property>
823 <property name="can_focus">False</property>
824 <property name="orientation">vertical</property>
825 <child>
826 <object class="GtkImage" id="4image1">
827 <property name="visible">True</property>
828 <property name="can_focus">False</property>
829 <property name="pixbuf">starmath/res/dist41.png</property>
830 </object>
831 <packing>
832 <property name="expand">False</property>
833 <property name="fill">True</property>
834 <property name="position">0</property>
835 </packing>
836 </child>
837 <child>
838 <object class="GtkImage" id="4image2">
839 <property name="visible">True</property>
840 <property name="can_focus">False</property>
841 <property name="pixbuf">starmath/res/dist42.png</property>
842 </object>
843 <packing>
844 <property name="expand">False</property>
845 <property name="fill">True</property>
846 <property name="position">1</property>
847 </packing>
848 </child>
849 </object>
850 <packing>
851 <property name="expand">False</property>
852 <property name="fill">True</property>
853 <property name="position">1</property>
854 </packing>
855 </child>
856 </object>
857 <packing>
858 <property name="expand">False</property>
859 <property name="fill">True</property>
860 <property name="position">0</property>
861 </packing>
862 </child>
863 </object>
864 </child>
865 </object>
866 </child>
867 <child type="label">
868 <object class="GtkLabel" id="4title">
869 <property name="visible">True</property>
870 <property name="can_focus">False</property>
871 <property name="label" translatable="yes">Fraction Bar</property>
872 <property name="use_underline">True</property>
873 <attributes>
874 <attribute name="weight" value="bold"/>
875 </attributes>
876 </object>
877 </child>
878 </object>
879 <packing>
880 <property name="expand">False</property>
881 <property name="fill">True</property>
882 <property name="position">4</property>
883 </packing>
884 </child>
885 <child>
886 <object class="GtkFrame" id="frame5">
887 <property name="can_focus">False</property>
888 <property name="no_show_all">True</property>
889 <property name="hexpand">True</property>
890 <property name="vexpand">True</property>
891 <property name="label_xalign">0</property>
892 <property name="shadow_type">none</property>
893 <child>
894 <object class="GtkAlignment" id="alignment7">
895 <property name="visible">True</property>
896 <property name="can_focus">False</property>
897 <property name="hexpand">True</property>
898 <property name="vexpand">True</property>
899 <property name="top_padding">6</property>
900 <property name="left_padding">12</property>
901 <child>
902 <object class="GtkBox" id="box20">
903 <property name="visible">True</property>
904 <property name="can_focus">False</property>
905 <property name="hexpand">True</property>
906 <property name="vexpand">True</property>
907 <property name="orientation">vertical</property>
908 <child>
909 <object class="GtkBox" id="box21">
910 <property name="visible">True</property>
911 <property name="can_focus">False</property>
912 <property name="hexpand">True</property>
913 <property name="spacing">12</property>
914 <child>
915 <object class="GtkGrid" id="grid7">
916 <property name="visible">True</property>
917 <property name="can_focus">False</property>
918 <property name="hexpand">True</property>
919 <property name="row_spacing">6</property>
920 <property name="column_spacing">12</property>
921 <child>
922 <object class="GtkLabel" id="5label1">
923 <property name="visible">True</property>
924 <property name="can_focus">False</property>
925 <property name="xalign">0</property>
926 <property name="label" translatable="yes">_Upper limit:</property>
927 <property name="use_underline">True</property>
928 </object>
929 <packing>
930 <property name="left_attach">0</property>
931 <property name="top_attach">0</property>
932 </packing>
933 </child>
934 <child>
935 <object class="GtkLabel" id="5label2">
936 <property name="visible">True</property>
937 <property name="can_focus">False</property>
938 <property name="xalign">0</property>
939 <property name="label" translatable="yes">_Lower limit:</property>
940 <property name="use_underline">True</property>
941 </object>
942 <packing>
943 <property name="left_attach">0</property>
944 <property name="top_attach">1</property>
945 </packing>
946 </child>
947 </object>
948 <packing>
949 <property name="expand">False</property>
950 <property name="fill">True</property>
951 <property name="position">0</property>
952 </packing>
953 </child>
954 <child>
955 <object class="GtkBox" id="box22">
956 <property name="visible">True</property>
957 <property name="can_focus">False</property>
958 <property name="orientation">vertical</property>
959 <child>
960 <object class="GtkImage" id="5image1">
961 <property name="visible">True</property>
962 <property name="can_focus">False</property>
963 <property name="pixbuf">starmath/res/dist51.png</property>
964 </object>
965 <packing>
966 <property name="expand">False</property>
967 <property name="fill">True</property>
968 <property name="position">0</property>
969 </packing>
970 </child>
971 <child>
972 <object class="GtkImage" id="5image2">
973 <property name="visible">True</property>
974 <property name="can_focus">False</property>
975 <property name="pixbuf">starmath/res/dist52.png</property>
976 </object>
977 <packing>
978 <property name="expand">False</property>
979 <property name="fill">True</property>
980 <property name="position">1</property>
981 </packing>
982 </child>
983 </object>
984 <packing>
985 <property name="expand">False</property>
986 <property name="fill">True</property>
987 <property name="position">1</property>
988 </packing>
989 </child>
990 </object>
991 <packing>
992 <property name="expand">False</property>
993 <property name="fill">True</property>
994 <property name="position">0</property>
995 </packing>
996 </child>
997 </object>
998 </child>
999 </object>
1000 </child>
1001 <child type="label">
1002 <object class="GtkLabel" id="5title">
1003 <property name="visible">True</property>
1004 <property name="can_focus">False</property>
1005 <property name="label" translatable="yes">Limits</property>
1006 <property name="use_underline">True</property>
1007 <attributes>
1008 <attribute name="weight" value="bold"/>
1009 </attributes>
1010 </object>
1011 </child>
1012 </object>
1013 <packing>
1014 <property name="expand">False</property>
1015 <property name="fill">True</property>
1016 <property name="position">5</property>
1017 </packing>
1018 </child>
1019 <child>
1020 <object class="GtkFrame" id="frame6">
1021 <property name="can_focus">False</property>
1022 <property name="no_show_all">True</property>
1023 <property name="hexpand">True</property>
1024 <property name="vexpand">True</property>
1025 <property name="label_xalign">0</property>
1026 <property name="shadow_type">none</property>
1027 <child>
1028 <object class="GtkAlignment" id="alignment8">
1029 <property name="visible">True</property>
1030 <property name="can_focus">False</property>
1031 <property name="hexpand">True</property>
1032 <property name="vexpand">True</property>
1033 <property name="top_padding">6</property>
1034 <property name="left_padding">12</property>
1035 <child>
1036 <object class="GtkBox" id="box23">
1037 <property name="visible">True</property>
1038 <property name="can_focus">False</property>
1039 <property name="hexpand">True</property>
1040 <property name="vexpand">True</property>
1041 <property name="orientation">vertical</property>
1042 <child>
1043 <object class="GtkBox" id="box24">
1044 <property name="visible">True</property>
1045 <property name="can_focus">False</property>
1046 <property name="hexpand">True</property>
1047 <property name="spacing">12</property>
1048 <child>
1049 <object class="GtkGrid" id="grid8">
1050 <property name="visible">True</property>
1051 <property name="can_focus">False</property>
1052 <property name="hexpand">True</property>
1053 <property name="row_spacing">6</property>
1054 <property name="column_spacing">12</property>
1055 <child>
1056 <object class="GtkLabel" id="6label1">
1057 <property name="visible">True</property>
1058 <property name="can_focus">False</property>
1059 <property name="xalign">0</property>
1060 <property name="label" translatable="yes">_Excess size (left/right):</property>
1061 <property name="use_underline">True</property>
1062 </object>
1063 <packing>
1064 <property name="left_attach">0</property>
1065 <property name="top_attach">0</property>
1066 </packing>
1067 </child>
1068 <child>
1069 <object class="GtkLabel" id="6label2">
1070 <property name="visible">True</property>
1071 <property name="can_focus">False</property>
1072 <property name="xalign">0</property>
1073 <property name="label" translatable="yes">_Spacing:</property>
1074 <property name="use_underline">True</property>
1075 </object>
1076 <packing>
1077 <property name="left_attach">0</property>
1078 <property name="top_attach">1</property>
1079 </packing>
1080 </child>
1081 <child>
1082 <object class="GtkLabel" id="6label4">
1083 <property name="visible">True</property>
1084 <property name="can_focus">False</property>
1085 <property name="xalign">0</property>
1086 <property name="label" translatable="yes">_Excess size:</property>
1087 <property name="use_underline">True</property>
1088 </object>
1089 <packing>
1090 <property name="left_attach">0</property>
1091 <property name="top_attach">2</property>
1092 </packing>
1093 </child>
1094 </object>
1095 <packing>
1096 <property name="expand">False</property>
1097 <property name="fill">True</property>
1098 <property name="position">0</property>
1099 </packing>
1100 </child>
1101 <child>
1102 <object class="GtkBox" id="box25">
1103 <property name="visible">True</property>
1104 <property name="can_focus">False</property>
1105 <property name="orientation">vertical</property>
1106 <child>
1107 <object class="GtkImage" id="6image1">
1108 <property name="visible">True</property>
1109 <property name="can_focus">False</property>
1110 <property name="pixbuf">starmath/res/dist61.png</property>
1111 </object>
1112 <packing>
1113 <property name="expand">False</property>
1114 <property name="fill">True</property>
1115 <property name="position">0</property>
1116 </packing>
1117 </child>
1118 <child>
1119 <object class="GtkImage" id="6image2">
1120 <property name="visible">True</property>
1121 <property name="can_focus">False</property>
1122 <property name="pixbuf">starmath/res/dist62.png</property>
1123 </object>
1124 <packing>
1125 <property name="expand">False</property>
1126 <property name="fill">True</property>
1127 <property name="position">1</property>
1128 </packing>
1129 </child>
1130 <child>
1131 <object class="GtkImage" id="6image4">
1132 <property name="visible">True</property>
1133 <property name="can_focus">False</property>
1134 <property name="pixbuf">starmath/res/dist61.png</property>
1135 </object>
1136 <packing>
1137 <property name="expand">False</property>
1138 <property name="fill">True</property>
1139 <property name="position">2</property>
1140 </packing>
1141 </child>
1142 </object>
1143 <packing>
1144 <property name="expand">False</property>
1145 <property name="fill">True</property>
1146 <property name="position">1</property>
1147 </packing>
1148 </child>
1149 </object>
1150 <packing>
1151 <property name="expand">False</property>
1152 <property name="fill">True</property>
1153 <property name="position">0</property>
1154 </packing>
1155 </child>
1156 </object>
1157 </child>
1158 </object>
1159 </child>
1160 <child type="label">
1161 <object class="GtkLabel" id="6title">
1162 <property name="visible">True</property>
1163 <property name="can_focus">False</property>
1164 <property name="label" translatable="yes">Brackets</property>
1165 <property name="use_underline">True</property>
1166 <attributes>
1167 <attribute name="weight" value="bold"/>
1168 </attributes>
1169 </object>
1170 </child>
1171 </object>
1172 <packing>
1173 <property name="expand">False</property>
1174 <property name="fill">True</property>
1175 <property name="position">6</property>
1176 </packing>
1177 </child>
1178 <child>
1179 <object class="GtkFrame" id="frame7">
1180 <property name="can_focus">False</property>
1181 <property name="no_show_all">True</property>
1182 <property name="hexpand">True</property>
1183 <property name="vexpand">True</property>
1184 <property name="label_xalign">0</property>
1185 <property name="shadow_type">none</property>
1186 <child>
1187 <object class="GtkAlignment" id="alignment9">
1188 <property name="visible">True</property>
1189 <property name="can_focus">False</property>
1190 <property name="hexpand">True</property>
1191 <property name="vexpand">True</property>
1192 <property name="top_padding">6</property>
1193 <property name="left_padding">12</property>
1194 <child>
1195 <object class="GtkBox" id="box26">
1196 <property name="visible">True</property>
1197 <property name="can_focus">False</property>
1198 <property name="hexpand">True</property>
1199 <property name="vexpand">True</property>
1200 <property name="orientation">vertical</property>
1201 <child>
1202 <object class="GtkBox" id="box27">
1203 <property name="visible">True</property>
1204 <property name="can_focus">False</property>
1205 <property name="hexpand">True</property>
1206 <property name="spacing">12</property>
1207 <child>
1208 <object class="GtkGrid" id="grid9">
1209 <property name="visible">True</property>
1210 <property name="can_focus">False</property>
1211 <property name="hexpand">True</property>
1212 <property name="row_spacing">6</property>
1213 <property name="column_spacing">12</property>
1214 <child>
1215 <object class="GtkLabel" id="7label1">
1216 <property name="visible">True</property>
1217 <property name="can_focus">False</property>
1218 <property name="xalign">0</property>
1219 <property name="label" translatable="yes">_Line spacing:</property>
1220 <property name="use_underline">True</property>
1221 </object>
1222 <packing>
1223 <property name="left_attach">0</property>
1224 <property name="top_attach">0</property>
1225 </packing>
1226 </child>
1227 <child>
1228 <object class="GtkLabel" id="7label2">
1229 <property name="visible">True</property>
1230 <property name="can_focus">False</property>
1231 <property name="xalign">0</property>
1232 <property name="label" translatable="yes">_Column spacing:</property>
1233 <property name="use_underline">True</property>
1234 </object>
1235 <packing>
1236 <property name="left_attach">0</property>
1237 <property name="top_attach">1</property>
1238 </packing>
1239 </child>
1240 </object>
1241 <packing>
1242 <property name="expand">False</property>
1243 <property name="fill">True</property>
1244 <property name="position">0</property>
1245 </packing>
1246 </child>
1247 <child>
1248 <object class="GtkBox" id="box28">
1249 <property name="visible">True</property>
1250 <property name="can_focus">False</property>
1251 <property name="orientation">vertical</property>
1252 <child>
1253 <object class="GtkImage" id="7image1">
1254 <property name="visible">True</property>
1255 <property name="can_focus">False</property>
1256 <property name="pixbuf">starmath/res/dist71.png</property>
1257 </object>
1258 <packing>
1259 <property name="expand">False</property>
1260 <property name="fill">True</property>
1261 <property name="position">0</property>
1262 </packing>
1263 </child>
1264 <child>
1265 <object class="GtkImage" id="7image2">
1266 <property name="visible">True</property>
1267 <property name="can_focus">False</property>
1268 <property name="pixbuf">starmath/res/dist72.png</property>
1269 </object>
1270 <packing>
1271 <property name="expand">False</property>
1272 <property name="fill">True</property>
1273 <property name="position">1</property>
1274 </packing>
1275 </child>
1276 </object>
1277 <packing>
1278 <property name="expand">False</property>
1279 <property name="fill">True</property>
1280 <property name="position">1</property>
1281 </packing>
1282 </child>
1283 </object>
1284 <packing>
1285 <property name="expand">False</property>
1286 <property name="fill">True</property>
1287 <property name="position">0</property>
1288 </packing>
1289 </child>
1290 </object>
1291 </child>
1292 </object>
1293 </child>
1294 <child type="label">
1295 <object class="GtkLabel" id="7title">
1296 <property name="visible">True</property>
1297 <property name="can_focus">False</property>
1298 <property name="label" translatable="yes">Matrix</property>
1299 <property name="use_underline">True</property>
1300 <attributes>
1301 <attribute name="weight" value="bold"/>
1302 </attributes>
1303 </object>
1304 </child>
1305 </object>
1306 <packing>
1307 <property name="expand">False</property>
1308 <property name="fill">True</property>
1309 <property name="position">7</property>
1310 </packing>
1311 </child>
1312 <child>
1313 <object class="GtkFrame" id="frame8">
1314 <property name="can_focus">False</property>
1315 <property name="no_show_all">True</property>
1316 <property name="hexpand">True</property>
1317 <property name="vexpand">True</property>
1318 <property name="label_xalign">0</property>
1319 <property name="shadow_type">none</property>
1320 <child>
1321 <object class="GtkAlignment" id="alignment10">
1322 <property name="visible">True</property>
1323 <property name="can_focus">False</property>
1324 <property name="hexpand">True</property>
1325 <property name="vexpand">True</property>
1326 <property name="top_padding">6</property>
1327 <property name="left_padding">12</property>
1328 <child>
1329 <object class="GtkBox" id="box29">
1330 <property name="visible">True</property>
1331 <property name="can_focus">False</property>
1332 <property name="hexpand">True</property>
1333 <property name="vexpand">True</property>
1334 <property name="orientation">vertical</property>
1335 <child>
1336 <object class="GtkBox" id="box30">
1337 <property name="visible">True</property>
1338 <property name="can_focus">False</property>
1339 <property name="hexpand">True</property>
1340 <property name="spacing">12</property>
1341 <child>
1342 <object class="GtkGrid" id="grid10">
1343 <property name="visible">True</property>
1344 <property name="can_focus">False</property>
1345 <property name="hexpand">True</property>
1346 <property name="row_spacing">6</property>
1347 <property name="column_spacing">12</property>
1348 <child>
1349 <object class="GtkLabel" id="8label1">
1350 <property name="visible">True</property>
1351 <property name="can_focus">False</property>
1352 <property name="xalign">0</property>
1353 <property name="label" translatable="yes">_Primary height:</property>
1354 <property name="use_underline">True</property>
1355 </object>
1356 <packing>
1357 <property name="left_attach">0</property>
1358 <property name="top_attach">0</property>
1359 </packing>
1360 </child>
1361 <child>
1362 <object class="GtkLabel" id="8label2">
1363 <property name="visible">True</property>
1364 <property name="can_focus">False</property>
1365 <property name="xalign">0</property>
1366 <property name="label" translatable="yes">_Minimum spacing:</property>
1367 <property name="use_underline">True</property>
1368 </object>
1369 <packing>
1370 <property name="left_attach">0</property>
1371 <property name="top_attach">1</property>
1372 </packing>
1373 </child>
1374 </object>
1375 <packing>
1376 <property name="expand">False</property>
1377 <property name="fill">True</property>
1378 <property name="position">0</property>
1379 </packing>
1380 </child>
1381 <child>
1382 <object class="GtkBox" id="box31">
1383 <property name="visible">True</property>
1384 <property name="can_focus">False</property>
1385 <property name="orientation">vertical</property>
1386 <child>
1387 <object class="GtkImage" id="8image1">
1388 <property name="visible">True</property>
1389 <property name="can_focus">False</property>
1390 <property name="pixbuf">starmath/res/dist81.png</property>
1391 </object>
1392 <packing>
1393 <property name="expand">False</property>
1394 <property name="fill">True</property>
1395 <property name="position">0</property>
1396 </packing>
1397 </child>
1398 <child>
1399 <object class="GtkImage" id="8image2">
1400 <property name="visible">True</property>
1401 <property name="can_focus">False</property>
1402 <property name="pixbuf">starmath/res/dist82.png</property>
1403 </object>
1404 <packing>
1405 <property name="expand">False</property>
1406 <property name="fill">True</property>
1407 <property name="position">1</property>
1408 </packing>
1409 </child>
1410 </object>
1411 <packing>
1412 <property name="expand">False</property>
1413 <property name="fill">True</property>
1414 <property name="position">1</property>
1415 </packing>
1416 </child>
1417 </object>
1418 <packing>
1419 <property name="expand">False</property>
1420 <property name="fill">True</property>
1421 <property name="position">0</property>
1422 </packing>
1423 </child>
1424 </object>
1425 </child>
1426 </object>
1427 </child>
1428 <child type="label">
1429 <object class="GtkLabel" id="8title">
1430 <property name="visible">True</property>
1431 <property name="can_focus">False</property>
1432 <property name="label" translatable="yes">Symbols</property>
1433 <property name="use_underline">True</property>
1434 <attributes>
1435 <attribute name="weight" value="bold"/>
1436 </attributes>
1437 </object>
1438 </child>
1439 </object>
1440 <packing>
1441 <property name="expand">False</property>
1442 <property name="fill">True</property>
1443 <property name="position">8</property>
1444 </packing>
1445 </child>
1446 <child>
1447 <object class="GtkFrame" id="frame9">
1448 <property name="can_focus">False</property>
1449 <property name="no_show_all">True</property>
1450 <property name="hexpand">True</property>
1451 <property name="vexpand">True</property>
1452 <property name="label_xalign">0</property>
1453 <property name="shadow_type">none</property>
1454 <child>
1455 <object class="GtkAlignment" id="alignment11">
1456 <property name="visible">True</property>
1457 <property name="can_focus">False</property>
1458 <property name="hexpand">True</property>
1459 <property name="vexpand">True</property>
1460 <property name="top_padding">6</property>
1461 <property name="left_padding">12</property>
1462 <child>
1463 <object class="GtkBox" id="box32">
1464 <property name="visible">True</property>
1465 <property name="can_focus">False</property>
1466 <property name="hexpand">True</property>
1467 <property name="vexpand">True</property>
1468 <property name="orientation">vertical</property>
1469 <child>
1470 <object class="GtkBox" id="box33">
1471 <property name="visible">True</property>
1472 <property name="can_focus">False</property>
1473 <property name="hexpand">True</property>
1474 <property name="spacing">12</property>
1475 <child>
1476 <object class="GtkGrid" id="grid11">
1477 <property name="visible">True</property>
1478 <property name="can_focus">False</property>
1479 <property name="hexpand">True</property>
1480 <property name="row_spacing">6</property>
1481 <property name="column_spacing">12</property>
1482 <child>
1483 <object class="GtkLabel" id="9label1">
1484 <property name="visible">True</property>
1485 <property name="can_focus">False</property>
1486 <property name="xalign">0</property>
1487 <property name="label" translatable="yes">_Excess size:</property>
1488 <property name="use_underline">True</property>
1489 </object>
1490 <packing>
1491 <property name="left_attach">0</property>
1492 <property name="top_attach">0</property>
1493 </packing>
1494 </child>
1495 <child>
1496 <object class="GtkLabel" id="9label2">
1497 <property name="visible">True</property>
1498 <property name="can_focus">False</property>
1499 <property name="xalign">0</property>
1500 <property name="label" translatable="yes">_Spacing:</property>
1501 <property name="use_underline">True</property>
1502 </object>
1503 <packing>
1504 <property name="left_attach">0</property>
1505 <property name="top_attach">1</property>
1506 </packing>
1507 </child>
1508 </object>
1509 <packing>
1510 <property name="expand">False</property>
1511 <property name="fill">True</property>
1512 <property name="position">0</property>
1513 </packing>
1514 </child>
1515 <child>
1516 <object class="GtkBox" id="box34">
1517 <property name="visible">True</property>
1518 <property name="can_focus">False</property>
1519 <property name="orientation">vertical</property>
1520 <child>
1521 <object class="GtkImage" id="9image1">
1522 <property name="visible">True</property>
1523 <property name="can_focus">False</property>
1524 <property name="pixbuf">starmath/res/dist91.png</property>
1525 </object>
1526 <packing>
1527 <property name="expand">False</property>
1528 <property name="fill">True</property>
1529 <property name="position">0</property>
1530 </packing>
1531 </child>
1532 <child>
1533 <object class="GtkImage" id="9image2">
1534 <property name="visible">True</property>
1535 <property name="can_focus">False</property>
1536 <property name="pixbuf">starmath/res/dist92.png</property>
1537 </object>
1538 <packing>
1539 <property name="expand">False</property>
1540 <property name="fill">True</property>
1541 <property name="position">1</property>
1542 </packing>
1543 </child>
1544 </object>
1545 <packing>
1546 <property name="expand">False</property>
1547 <property name="fill">True</property>
1548 <property name="position">1</property>
1549 </packing>
1550 </child>
1551 </object>
1552 <packing>
1553 <property name="expand">False</property>
1554 <property name="fill">True</property>
1555 <property name="position">0</property>
1556 </packing>
1557 </child>
1558 </object>
1559 </child>
1560 </object>
1561 </child>
1562 <child type="label">
1563 <object class="GtkLabel" id="9title">
1564 <property name="visible">True</property>
1565 <property name="can_focus">False</property>
1566 <property name="label" translatable="yes">Operators</property>
1567 <property name="use_underline">True</property>
1568 <attributes>
1569 <attribute name="weight" value="bold"/>
1570 </attributes>
1571 </object>
1572 </child>
1573 </object>
1574 <packing>
1575 <property name="expand">False</property>
1576 <property name="fill">True</property>
1577 <property name="position">9</property>
1578 </packing>
1579 </child>
1580 <child>
1581 <object class="GtkFrame" id="frame10">
1582 <property name="can_focus">False</property>
1583 <property name="no_show_all">True</property>
1584 <property name="hexpand">True</property>
1585 <property name="vexpand">True</property>
1586 <property name="label_xalign">0</property>
1587 <property name="shadow_type">none</property>
1588 <child>
1589 <object class="GtkAlignment" id="alignment1">
1590 <property name="visible">True</property>
1591 <property name="can_focus">False</property>
1592 <property name="hexpand">True</property>
1593 <property name="vexpand">True</property>
1594 <property name="top_padding">6</property>
1595 <property name="left_padding">12</property>
1596 <child>
1597 <object class="GtkBox" id="box2">
1598 <property name="visible">True</property>
1599 <property name="can_focus">False</property>
1600 <property name="hexpand">True</property>
1601 <property name="vexpand">True</property>
1602 <property name="orientation">vertical</property>
1603 <child>
1604 <object class="GtkBox" id="box3">
1605 <property name="visible">True</property>
1606 <property name="can_focus">False</property>
1607 <property name="hexpand">True</property>
1608 <property name="spacing">12</property>
1609 <child>
1610 <object class="GtkGrid" id="grid1">
1611 <property name="visible">True</property>
1612 <property name="can_focus">False</property>
1613 <property name="hexpand">True</property>
1614 <property name="row_spacing">6</property>
1615 <property name="column_spacing">12</property>
1616 <child>
1617 <object class="GtkLabel" id="10label1">
1618 <property name="visible">True</property>
1619 <property name="can_focus">False</property>
1620 <property name="xalign">0</property>
1621 <property name="label" translatable="yes">_Left:</property>
1622 <property name="use_underline">True</property>
1623 </object>
1624 <packing>
1625 <property name="left_attach">0</property>
1626 <property name="top_attach">0</property>
1627 </packing>
1628 </child>
1629 <child>
1630 <object class="GtkLabel" id="10label2">
1631 <property name="visible">True</property>
1632 <property name="can_focus">False</property>
1633 <property name="xalign">0</property>
1634 <property name="label" translatable="yes">_Right:</property>
1635 <property name="use_underline">True</property>
1636 </object>
1637 <packing>
1638 <property name="left_attach">0</property>
1639 <property name="top_attach">1</property>
1640 </packing>
1641 </child>
1642 <child>
1643 <object class="GtkLabel" id="10label3">
1644 <property name="visible">True</property>
1645 <property name="can_focus">False</property>
1646 <property name="xalign">0</property>
1647 <property name="label" translatable="yes">_Top:</property>
1648 <property name="use_underline">True</property>
1649 </object>
1650 <packing>
1651 <property name="left_attach">0</property>
1652 <property name="top_attach">2</property>
1653 </packing>
1654 </child>
1655 <child>
1656 <object class="GtkLabel" id="10label4">
1657 <property name="visible">True</property>
1658 <property name="can_focus">False</property>
1659 <property name="xalign">0</property>
1660 <property name="label" translatable="yes">_Bottom:</property>
1661 <property name="use_underline">True</property>
1662 </object>
1663 <packing>
1664 <property name="left_attach">0</property>
1665 <property name="top_attach">3</property>
1666 </packing>
1667 </child>
1668 </object>
1669 <packing>
1670 <property name="expand">False</property>
1671 <property name="fill">True</property>
1672 <property name="position">0</property>
1673 </packing>
1674 </child>
1675 <child>
1676 <object class="GtkBox" id="box7">
1677 <property name="visible">True</property>
1678 <property name="can_focus">False</property>
1679 <property name="orientation">vertical</property>
1680 <child>
1681 <object class="GtkImage" id="10image1">
1682 <property name="visible">True</property>
1683 <property name="can_focus">False</property>
1684 <property name="pixbuf">starmath/res/dist101.png</property>
1685 </object>
1686 <packing>
1687 <property name="expand">False</property>
1688 <property name="fill">True</property>
1689 <property name="position">0</property>
1690 </packing>
1691 </child>
1692 <child>
1693 <object class="GtkImage" id="10image2">
1694 <property name="visible">True</property>
1695 <property name="can_focus">False</property>
1696 <property name="pixbuf">starmath/res/dist102.png</property>
1697 </object>
1698 <packing>
1699 <property name="expand">False</property>
1700 <property name="fill">True</property>
1701 <property name="position">1</property>
1702 </packing>
1703 </child>
1704 <child>
1705 <object class="GtkImage" id="10image3">
1706 <property name="visible">True</property>
1707 <property name="can_focus">False</property>
1708 <property name="pixbuf">starmath/res/dist103.png</property>
1709 </object>
1710 <packing>
1711 <property name="expand">False</property>
1712 <property name="fill">True</property>
1713 <property name="position">2</property>
1714 </packing>
1715 </child>
1716 <child>
1717 <object class="GtkImage" id="10image4">
1718 <property name="visible">True</property>
1719 <property name="can_focus">False</property>
1720 <property name="pixbuf">starmath/res/dist104.png</property>
1721 </object>
1722 <packing>
1723 <property name="expand">False</property>
1724 <property name="fill">True</property>
1725 <property name="position">3</property>
1726 </packing>
1727 </child>
1728 </object>
1729 <packing>
1730 <property name="expand">False</property>
1731 <property name="fill">True</property>
1732 <property name="position">1</property>
1733 </packing>
1734 </child>
1735 </object>
1736 <packing>
1737 <property name="expand">False</property>
1738 <property name="fill">True</property>
1739 <property name="position">0</property>
1740 </packing>
1741 </child>
1742 </object>
1743 </child>
1744 </object>
1745 </child>
1746 <child type="label">
1747 <object class="GtkLabel" id="10title">
1748 <property name="visible">True</property>
1749 <property name="can_focus">False</property>
1750 <property name="label" translatable="yes">Borders</property>
1751 <property name="use_underline">True</property>
1752 <attributes>
1753 <attribute name="weight" value="bold"/>
1754 </attributes>
1755 </object>
1756 </child>
1757 </object>
1758 <packing>
1759 <property name="expand">False</property>
1760 <property name="fill">True</property>
1761 <property name="position">10</property>
1762 </packing>
1763 </child>
1764 </object>
1765 <packing>
1766 <property name="expand">False</property>
1767 <property name="fill">True</property>
1768 <property name="position">1</property>
1769 </packing>
1770 </child>
1771 </object>
1772 </child>
1773 <action-widgets>
1774 <action-widget response="0">ok</action-widget>
1775 <action-widget response="0">cancel</action-widget>
1776 <action-widget response="0">category:menu</action-widget>
1777 <action-widget response="0">default</action-widget>
1778 <action-widget response="0">help</action-widget>
1779 </action-widgets>
1780 </object>
1781 <object class="GtkSizeGroup" id="sizegroup1">
1782 <property name="mode">both</property>
1783 <widgets>
1784 <widget name="image"/>
1785 <widget name="1image1"/>
1786 <widget name="1image2"/>
1787 <widget name="1image3"/>
1788 <widget name="2image1"/>
1789 <widget name="2image2"/>
1790 <widget name="3image1"/>
1791 <widget name="3image2"/>
1792 <widget name="4image1"/>
1793 <widget name="4image2"/>
1794 <widget name="5image1"/>
1795 <widget name="5image2"/>
1796 <widget name="6image1"/>
1797 <widget name="6image2"/>
1798 <widget name="6image4"/>
1799 <widget name="7image1"/>
1800 <widget name="7image2"/>
1801 <widget name="8image1"/>
1802 <widget name="8image2"/>
1803 <widget name="9image1"/>
1804 <widget name="9image2"/>
1805 <widget name="10image1"/>
1806 <widget name="10image2"/>
1807 <widget name="10image3"/>
1808 <widget name="10image4"/>
1809 </widgets>
1810 </object>
1811 <object class="GtkSizeGroup" id="sizegroup2">
1812 <widgets>
1813 <widget name="label1"/>
1814 <widget name="label2"/>
1815 <widget name="label3"/>
1816 <widget name="label4"/>
1817 <widget name="1label1"/>
1818 <widget name="1label2"/>
1819 <widget name="1label3"/>
1820 <widget name="2label1"/>
1821 <widget name="2label2"/>
1822 <widget name="3label1"/>
1823 <widget name="3label2"/>
1824 <widget name="4label1"/>
1825 <widget name="4label2"/>
1826 <widget name="5label1"/>
1827 <widget name="5label2"/>
1828 <widget name="6label1"/>
1829 <widget name="6label2"/>
1830 <widget name="6label4"/>
1831 <widget name="7label1"/>
1832 <widget name="7label2"/>
1833 <widget name="8label1"/>
1834 <widget name="8label2"/>
1835 <widget name="9label1"/>
1836 <widget name="9label2"/>
1837 <widget name="10label1"/>
1838 <widget name="10label2"/>
1839 <widget name="10label3"/>
1840 <widget name="10label4"/>
1841 </widgets>
1842 </object>
1843 <object class="GtkSizeGroup" id="sizegroup3">
1844 <widgets>
1845 <widget name="title"/>
1846 <widget name="1title"/>
1847 <widget name="2title"/>
1848 <widget name="3title"/>
1849 <widget name="4title"/>
1850 <widget name="5title"/>
1851 <widget name="6title"/>
1852 <widget name="7title"/>
1853 <widget name="8title"/>
1854 <widget name="9title"/>
1855 <widget name="10title"/>
1856 </widgets>
1857 </object>
1858 <object class="GtkMenu" id="menu">
1859 <property name="visible">True</property>
1860 <property name="can_focus">False</property>
1861 <child>
1862 <object class="GtkMenuItem" id="menuitem1">
1863 <property name="visible">True</property>
1864 <property name="can_focus">False</property>
1865 <property name="label" translatable="yes">Spacing</property>
1866 <property name="use_underline">True</property>
1867 </object>
1868 </child>
1869 <child>
1870 <object class="GtkMenuItem" id="menuitem2">
1871 <property name="visible">True</property>
1872 <property name="can_focus">False</property>
1873 <property name="label" translatable="yes">Indexes</property>
1874 <property name="use_underline">True</property>
1875 </object>
1876 </child>
1877 <child>
1878 <object class="GtkMenuItem" id="menuitem3">
1879 <property name="visible">True</property>
1880 <property name="can_focus">False</property>
1881 <property name="label" translatable="yes">Fractions</property>
1882 <property name="use_underline">True</property>
1883 </object>
1884 </child>
1885 <child>
1886 <object class="GtkMenuItem" id="menuitem4">
1887 <property name="visible">True</property>
1888 <property name="can_focus">False</property>
1889 <property name="label" translatable="yes">Fraction Bars</property>
1890 <property name="use_underline">True</property>
1891 </object>
1892 </child>
1893 <child>
1894 <object class="GtkMenuItem" id="menuitem5">
1895 <property name="visible">True</property>
1896 <property name="can_focus">False</property>
1897 <property name="label" translatable="yes">Limits</property>
1898 <property name="use_underline">True</property>
1899 </object>
1900 </child>
1901 <child>
1902 <object class="GtkMenuItem" id="menuitem6">
1903 <property name="visible">True</property>
1904 <property name="can_focus">False</property>
1905 <property name="label" translatable="yes">Brackets</property>
1906 <property name="use_underline">True</property>
1907 </object>
1908 </child>
1909 <child>
1910 <object class="GtkMenuItem" id="menuitem7">
1911 <property name="visible">True</property>
1912 <property name="can_focus">False</property>
1913 <property name="label" translatable="yes">Matrices</property>
1914 <property name="use_underline">True</property>
1915 </object>
1916 </child>
1917 <child>
1918 <object class="GtkMenuItem" id="menuitem8">
1919 <property name="visible">True</property>
1920 <property name="can_focus">False</property>
1921 <property name="label" translatable="yes">Symbols</property>
1922 <property name="use_underline">True</property>
1923 </object>
1924 </child>
1925 <child>
1926 <object class="GtkMenuItem" id="menuitem9">
1927 <property name="visible">True</property>
1928 <property name="can_focus">False</property>
1929 <property name="label" translatable="yes">Operators</property>
1930 <property name="use_underline">True</property>
1931 </object>
1932 </child>
1933 <child>
1934 <object class="GtkMenuItem" id="menuitem10">
1935 <property name="visible">True</property>
1936 <property name="can_focus">False</property>
1937 <property name="label" translatable="yes">Borders</property>
1938 <property name="use_underline">True</property>
1939 </object>
1940 </child>
1941 </object>
1942 </interface>
FREE OFFICE SUITE