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