blob: 698e8668717f0d11bdf2bfadd6d75522767552e2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
|
<?xml version="1.0" encoding="UTF-8"?>
<!-- Generated with glade 3.38.1 -->
<interface domain="sm">
<requires lib="gtk+" version="3.20"/>
<!-- n-columns=1 n-rows=1 -->
<object class="GtkGrid" id="MathPropertiesPanel">
<property name="visible">True</property>
<property name="can-focus">False</property>
<property name="hexpand">True</property>
<property name="vexpand">True</property>
<property name="border-width">6</property>
<child>
<!-- n-columns=1 n-rows=1 -->
<object class="GtkBox" id="container">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="orientation">vertical</property>
<child>
<object class="GtkButton" id="btnFormatFonts">
<!-- No need to translate - set in code -->
<property name="label" translatable="no">Fonts</property>
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="valign">start</property>
<property name="receives_default">True</property>
</object>
<packing>
<property name="expand">True</property>
<property name="fill">True</property>
<property name="position">0</property>
</packing>
</child>
<child>
<object class="GtkButton" id="btnFormatFontSize">
<!-- No need to translate - set in code -->
<property name="label" translatable="no">Font Size</property>
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="valign">start</property>
<property name="receives_default">True</property>
</object>
<packing>
<property name="expand">True</property>
<property name="fill">True</property>
<property name="position">1</property>
</packing>
</child>
<child>
<object class="GtkButton" id="btnFormatSpacing">
<!-- No need to translate - set in code -->
<property name="label" translatable="no">Spacing</property>
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="valign">start</property>
<property name="receives_default">True</property>
</object>
<packing>
<property name="expand">True</property>
<property name="fill">True</property>
<property name="position">2</property>
</packing>
</child>
<child>
<object class="GtkButton" id="btnFormatAlignment">
<!-- No need to translate - set in code -->
<property name="label" translatable="no">Alignment</property>
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="valign">start</property>
<property name="receives_default">True</property>
</object>
<packing>
<property name="expand">True</property>
<property name="fill">True</property>
<property name="position">3</property>
</packing>
</child>
</object>
<packing>
<property name="left-attach">0</property>
<property name="top-attach">0</property>
</packing>
</child>
</object>
</interface>
|
