1 <?xml version=
"1.0" encoding=
"UTF-8"?>
3 <!-- interface-requires gtk+ 3.0 -->
4 <object class=
"GtkAdjustment" id=
"adjustment1">
5 <property name=
"lower">1</property>
6 <property name=
"upper">99</property>
7 <property name=
"value">1</property>
8 <property name=
"step_increment">1</property>
9 <property name=
"page_increment">10</property>
11 <object class=
"GtkBox" id=
"OptComparison">
12 <property name=
"visible">True
</property>
13 <property name=
"can_focus">False
</property>
14 <property name=
"border_width">6</property>
15 <property name=
"orientation">vertical
</property>
16 <property name=
"spacing">12</property>
18 <object class=
"GtkFrame" id=
"frame1">
19 <property name=
"visible">True
</property>
20 <property name=
"can_focus">False
</property>
21 <property name=
"label_xalign">0</property>
22 <property name=
"shadow_type">none
</property>
24 <object class=
"GtkAlignment" id=
"alignment1">
25 <property name=
"visible">True
</property>
26 <property name=
"can_focus">False
</property>
27 <property name=
"top_padding">5</property>
28 <property name=
"left_padding">12</property>
30 <object class=
"GtkGrid" id=
"grid1">
31 <property name=
"visible">True
</property>
32 <property name=
"can_focus">False
</property>
33 <property name=
"row_spacing">6</property>
35 <object class=
"GtkRadioButton" id=
"auto">
36 <property name=
"label" translatable=
"yes">A_uto
</property>
37 <property name=
"visible">True
</property>
38 <property name=
"can_focus">True
</property>
39 <property name=
"receives_default">False
</property>
40 <property name=
"use_underline">True
</property>
41 <property name=
"xalign">0</property>
42 <property name=
"active">True
</property>
43 <property name=
"draw_indicator">True
</property>
44 <property name=
"group">byword
</property>
47 <property name=
"left_attach">0</property>
48 <property name=
"top_attach">0</property>
49 <property name=
"width">1</property>
50 <property name=
"height">1</property>
54 <object class=
"GtkRadioButton" id=
"byword">
55 <property name=
"label" translatable=
"yes">By w_ord
</property>
56 <property name=
"visible">True
</property>
57 <property name=
"can_focus">True
</property>
58 <property name=
"receives_default">False
</property>
59 <property name=
"use_underline">True
</property>
60 <property name=
"xalign">0</property>
61 <property name=
"draw_indicator">True
</property>
62 <property name=
"group">bycharacter
</property>
65 <property name=
"left_attach">0</property>
66 <property name=
"top_attach">1</property>
67 <property name=
"width">1</property>
68 <property name=
"height">1</property>
72 <object class=
"GtkRadioButton" id=
"bycharacter">
73 <property name=
"label" translatable=
"yes">By _character
</property>
74 <property name=
"visible">True
</property>
75 <property name=
"can_focus">True
</property>
76 <property name=
"receives_default">False
</property>
77 <property name=
"use_underline">True
</property>
78 <property name=
"xalign">0</property>
79 <property name=
"draw_indicator">True
</property>
82 <property name=
"left_attach">0</property>
83 <property name=
"top_attach">2</property>
84 <property name=
"width">1</property>
85 <property name=
"height">1</property>
93 <object class=
"GtkLabel" id=
"label1">
94 <property name=
"visible">True
</property>
95 <property name=
"can_focus">False
</property>
96 <property name=
"label" translatable=
"yes">Compare Documents
</property>
98 <attribute name=
"weight" value=
"bold"/>
104 <property name=
"expand">False
</property>
105 <property name=
"fill">True
</property>
106 <property name=
"position">0</property>
110 <object class=
"GtkFrame" id=
"frame2">
111 <property name=
"visible">True
</property>
112 <property name=
"can_focus">False
</property>
113 <property name=
"label_xalign">0</property>
114 <property name=
"shadow_type">none
</property>
116 <object class=
"GtkAlignment" id=
"alignment2">
117 <property name=
"visible">True
</property>
118 <property name=
"can_focus">False
</property>
119 <property name=
"top_padding">6</property>
120 <property name=
"left_padding">12</property>
122 <object class=
"GtkGrid" id=
"grid2">
123 <property name=
"visible">True
</property>
124 <property name=
"can_focus">False
</property>
125 <property name=
"row_spacing">6</property>
126 <property name=
"column_spacing">12</property>
128 <object class=
"GtkCheckButton" id=
"ignore">
129 <property name=
"label" translatable=
"yes">Ignore _pieces of length
</property>
130 <property name=
"visible">True
</property>
131 <property name=
"can_focus">True
</property>
132 <property name=
"receives_default">False
</property>
133 <property name=
"use_underline">True
</property>
134 <property name=
"xalign">0</property>
135 <property name=
"draw_indicator">True
</property>
138 <property name=
"left_attach">0</property>
139 <property name=
"top_attach">1</property>
140 <property name=
"width">1</property>
141 <property name=
"height">1</property>
145 <object class=
"GtkCheckButton" id=
"useRSID">
146 <property name=
"label" translatable=
"yes">Take it into account when comparing
</property>
147 <property name=
"visible">True
</property>
148 <property name=
"can_focus">True
</property>
149 <property name=
"receives_default">False
</property>
150 <property name=
"use_underline">True
</property>
151 <property name=
"xalign">0</property>
152 <property name=
"image_position">right
</property>
153 <property name=
"draw_indicator">True
</property>
156 <property name=
"left_attach">0</property>
157 <property name=
"top_attach">0</property>
158 <property name=
"width">1</property>
159 <property name=
"height">1</property>
163 <object class=
"GtkSpinButton" id=
"ignorelen">
164 <property name=
"visible">True
</property>
165 <property name=
"can_focus">True
</property>
166 <property name=
"invisible_char">•
</property>
167 <property name=
"invisible_char_set">True
</property>
168 <property name=
"adjustment">adjustment1
</property>
171 <property name=
"left_attach">1</property>
172 <property name=
"top_attach">1</property>
173 <property name=
"width">1</property>
174 <property name=
"height">1</property>
178 <object class=
"GtkCheckButton" id=
"storeRSID">
179 <property name=
"label" translatable=
"yes">Store it when changing the document
</property>
180 <property name=
"visible">True
</property>
181 <property name=
"can_focus">True
</property>
182 <property name=
"receives_default">False
</property>
183 <property name=
"use_underline">True
</property>
184 <property name=
"xalign">0</property>
185 <property name=
"image_position">right
</property>
186 <property name=
"draw_indicator">True
</property>
189 <property name=
"left_attach">0</property>
190 <property name=
"top_attach">2</property>
204 <object class=
"GtkLabel" id=
"setting">
205 <property name=
"visible">True
</property>
206 <property name=
"can_focus">False
</property>
207 <property name=
"label" translatable=
"yes">Random number to improve accuracy of document comparison
</property>
209 <attribute name=
"weight" value=
"bold"/>
215 <property name=
"expand">False
</property>
216 <property name=
"fill">True
</property>
217 <property name=
"position">1</property>