1 <?xml version=
"1.0" encoding=
"UTF-8"?>
2 <!-- Generated with glade 3.38.1 -->
3 <interface domain=
"sm">
4 <requires lib=
"gtk+" version=
"3.20"/>
5 <!-- n-columns=1 n-rows=1 -->
6 <object class=
"GtkGrid" id=
"MathPropertiesPanel">
7 <property name=
"visible">True
</property>
8 <property name=
"can-focus">False
</property>
9 <property name=
"hexpand">True
</property>
10 <property name=
"vexpand">True
</property>
11 <property name=
"border-width">6</property>
13 <!-- n-columns=1 n-rows=1 -->
14 <object class=
"GtkBox" id=
"container">
15 <property name=
"visible">True
</property>
16 <property name=
"can_focus">False
</property>
17 <property name=
"orientation">vertical
</property>
19 <object class=
"GtkButton" id=
"btnFormatFonts">
20 <!-- No need to translate - set in code -->
21 <property name=
"label" translatable=
"no">Fonts
</property>
22 <property name=
"visible">True
</property>
23 <property name=
"can_focus">True
</property>
24 <property name=
"valign">start
</property>
25 <property name=
"receives_default">True
</property>
28 <property name=
"expand">True
</property>
29 <property name=
"fill">True
</property>
30 <property name=
"position">0</property>
34 <object class=
"GtkButton" id=
"btnFormatFontSize">
35 <!-- No need to translate - set in code -->
36 <property name=
"label" translatable=
"no">Font Size
</property>
37 <property name=
"visible">True
</property>
38 <property name=
"can_focus">True
</property>
39 <property name=
"valign">start
</property>
40 <property name=
"receives_default">True
</property>
43 <property name=
"expand">True
</property>
44 <property name=
"fill">True
</property>
45 <property name=
"position">1</property>
49 <object class=
"GtkButton" id=
"btnFormatSpacing">
50 <!-- No need to translate - set in code -->
51 <property name=
"label" translatable=
"no">Spacing
</property>
52 <property name=
"visible">True
</property>
53 <property name=
"can_focus">True
</property>
54 <property name=
"valign">start
</property>
55 <property name=
"receives_default">True
</property>
58 <property name=
"expand">True
</property>
59 <property name=
"fill">True
</property>
60 <property name=
"position">2</property>
64 <object class=
"GtkButton" id=
"btnFormatAlignment">
65 <!-- No need to translate - set in code -->
66 <property name=
"label" translatable=
"no">Alignment
</property>
67 <property name=
"visible">True
</property>
68 <property name=
"can_focus">True
</property>
69 <property name=
"valign">start
</property>
70 <property name=
"receives_default">True
</property>
73 <property name=
"expand">True
</property>
74 <property name=
"fill">True
</property>
75 <property name=
"position">3</property>
80 <property name=
"left-attach">0</property>
81 <property name=
"top-attach">0</property>