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