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">1000</property>
7 <property name=
"value">50</property>
8 <property name=
"step_increment">1</property>
9 <property name=
"page_increment">10</property>
11 <object class=
"GtkAdjustment" id=
"adjustment2">
12 <property name=
"lower">1</property>
13 <property name=
"upper">1000</property>
14 <property name=
"value">50</property>
15 <property name=
"step_increment">1</property>
16 <property name=
"page_increment">10</property>
18 <object class=
"GtkListStore" id=
"model2">
20 <!-- column-name gchararray -->
21 <column type=
"gchararray"/>
22 <!-- column-name id -->
23 <column type=
"gchararray"/>
27 <col id=
"0" translatable=
"yes" comments=
"text style in editor">Underline-Plain
</col>
28 <col id=
"1">Underline-Plain
</col>
31 <col id=
"0" translatable=
"yes" comments=
"text style in editor">Underline-Squiggle
</col>
32 <col id=
"1">Underline-Squiggle
</col>
35 <col id=
"0" translatable=
"yes" comments=
"text style in editor, TT is for typewriter text">Underline-TT
</col>
36 <col id=
"1">Underline-TT
</col>
39 <col id=
"0" translatable=
"yes" comments=
"text style in editor">Diagonal
</col>
40 <col id=
"1">Diagonal
</col>
43 <col id=
"0" translatable=
"yes" comments=
"text style in editor">Strike-Out
</col>
44 <col id=
"1">Strike-Out
</col>
48 <object class=
"GtkWindow" id=
"preferences_dialog_messages">
49 <property name=
"can_focus">False
</property>
50 <property name=
"title" translatable=
"yes">window6
</property>
52 <object class=
"GtkVBox" id=
"Messages">
53 <property name=
"visible">True
</property>
54 <property name=
"can_focus">False
</property>
56 <object class=
"GtkFrame" id=
"frame37">
57 <property name=
"visible">True
</property>
58 <property name=
"can_focus">False
</property>
59 <property name=
"border_width">5</property>
60 <property name=
"label_xalign">0</property>
61 <property name=
"shadow_type">none
</property>
63 <object class=
"GtkTable" id=
"table19">
64 <property name=
"visible">True
</property>
65 <property name=
"can_focus">False
</property>
66 <property name=
"border_width">10</property>
67 <property name=
"n_rows">3</property>
68 <property name=
"n_columns">2</property>
69 <property name=
"column_spacing">5</property>
70 <property name=
"row_spacing">5</property>
72 <object class=
"GtkLabel" id=
"label142">
73 <property name=
"visible">True
</property>
74 <property name=
"can_focus">False
</property>
75 <property name=
"xalign">0</property>
76 <property name=
"label" translatable=
"yes">Error message indicator style:
</property>
79 <property name=
"top_attach">2</property>
80 <property name=
"bottom_attach">3</property>
81 <property name=
"x_options">GTK_FILL
</property>
82 <property name=
"y_options"></property>
86 <object class=
"GtkLabel" id=
"label141">
87 <property name=
"visible">True
</property>
88 <property name=
"can_focus">False
</property>
89 <property name=
"xalign">0</property>
90 <property name=
"label" translatable=
"yes">Warning message indicator style:
</property>
93 <property name=
"top_attach">1</property>
94 <property name=
"bottom_attach">2</property>
95 <property name=
"x_options">GTK_FILL
</property>
96 <property name=
"y_options"></property>
100 <object class=
"GtkLabel" id=
"label140">
101 <property name=
"visible">True
</property>
102 <property name=
"can_focus">False
</property>
103 <property name=
"xalign">0</property>
104 <property name=
"label" translatable=
"yes">Normal message indicator style:
</property>
107 <property name=
"x_options">GTK_FILL
</property>
108 <property name=
"y_options"></property>
112 <object class=
"GtkComboBox" id=
"preferences:style-normal">
113 <property name=
"visible">True
</property>
114 <property name=
"can_focus">False
</property>
115 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
116 <property name=
"model">model2
</property>
117 <property name=
"id_column">1</property>
119 <object class=
"GtkCellRendererText" id=
"renderer2"/>
121 <attribute name=
"text">0</attribute>
126 <property name=
"left_attach">1</property>
127 <property name=
"right_attach">2</property>
128 <property name=
"y_options"></property>
132 <object class=
"GtkComboBox" id=
"preferences:style-warning">
133 <property name=
"visible">True
</property>
134 <property name=
"can_focus">False
</property>
135 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
136 <property name=
"model">model2
</property>
137 <property name=
"id_column">1</property>
139 <object class=
"GtkCellRendererText" id=
"renderer3"/>
141 <attribute name=
"text">0</attribute>
146 <property name=
"left_attach">1</property>
147 <property name=
"right_attach">2</property>
148 <property name=
"top_attach">1</property>
149 <property name=
"bottom_attach">2</property>
150 <property name=
"y_options"></property>
154 <object class=
"GtkComboBox" id=
"preferences:style-error">
155 <property name=
"visible">True
</property>
156 <property name=
"can_focus">False
</property>
157 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
158 <property name=
"model">model2
</property>
159 <property name=
"id_column">1</property>
161 <object class=
"GtkCellRendererText" id=
"renderer4"/>
163 <attribute name=
"text">0</attribute>
168 <property name=
"left_attach">1</property>
169 <property name=
"right_attach">2</property>
170 <property name=
"top_attach">2</property>
171 <property name=
"bottom_attach">3</property>
172 <property name=
"y_options"></property>
178 <object class=
"GtkLabel" id=
"label139">
179 <property name=
"visible">True
</property>
180 <property name=
"can_focus">False
</property>
181 <property name=
"label" translatable=
"yes">Indicators
</property>
183 <attribute name=
"weight" value=
"bold"/>
189 <property name=
"expand">False
</property>
190 <property name=
"fill">True
</property>
191 <property name=
"position">0</property>
195 <object class=
"GtkFrame" id=
"frame38">
196 <property name=
"visible">True
</property>
197 <property name=
"can_focus">False
</property>
198 <property name=
"border_width">5</property>
199 <property name=
"label_xalign">0</property>
200 <property name=
"shadow_type">none
</property>
202 <object class=
"GtkTable" id=
"table20">
203 <property name=
"visible">True
</property>
204 <property name=
"can_focus">False
</property>
205 <property name=
"border_width">10</property>
206 <property name=
"n_columns">6</property>
207 <property name=
"column_spacing">5</property>
208 <property name=
"row_spacing">5</property>
210 <object class=
"GtkColorButton" id=
"preferences:color-error">
211 <property name=
"use_action_appearance">False
</property>
212 <property name=
"visible">True
</property>
213 <property name=
"can_focus">True
</property>
214 <property name=
"receives_default">False
</property>
215 <property name=
"use_action_appearance">False
</property>
218 <property name=
"left_attach">5</property>
219 <property name=
"right_attach">6</property>
220 <property name=
"x_options">GTK_FILL
</property>
221 <property name=
"y_options"></property>
225 <object class=
"GtkColorButton" id=
"preferences:color-warning">
226 <property name=
"use_action_appearance">False
</property>
227 <property name=
"visible">True
</property>
228 <property name=
"can_focus">True
</property>
229 <property name=
"receives_default">False
</property>
230 <property name=
"use_action_appearance">False
</property>
233 <property name=
"left_attach">3</property>
234 <property name=
"right_attach">4</property>
235 <property name=
"x_options">GTK_FILL
</property>
236 <property name=
"y_options"></property>
240 <object class=
"GtkLabel" id=
"label145">
241 <property name=
"visible">True
</property>
242 <property name=
"can_focus">False
</property>
243 <property name=
"xalign">0</property>
244 <property name=
"label" translatable=
"yes">Warnings:
</property>
247 <property name=
"left_attach">2</property>
248 <property name=
"right_attach">3</property>
249 <property name=
"x_options">GTK_FILL
</property>
250 <property name=
"y_options"></property>
254 <object class=
"GtkLabel" id=
"label144">
255 <property name=
"visible">True
</property>
256 <property name=
"can_focus">False
</property>
257 <property name=
"xalign">0</property>
258 <property name=
"label" translatable=
"yes">Errors:
</property>
261 <property name=
"left_attach">4</property>
262 <property name=
"right_attach">5</property>
263 <property name=
"x_options">GTK_FILL
</property>
264 <property name=
"y_options"></property>
268 <object class=
"GtkLabel" id=
"label1">
269 <property name=
"visible">True
</property>
270 <property name=
"can_focus">False
</property>
271 <property name=
"xalign">0</property>
272 <property name=
"label" translatable=
"yes">Important:
</property>
275 <property name=
"x_options">GTK_FILL
</property>
276 <property name=
"y_options"></property>
280 <object class=
"GtkColorButton" id=
"preferences:color-important">
281 <property name=
"use_action_appearance">False
</property>
282 <property name=
"visible">True
</property>
283 <property name=
"can_focus">True
</property>
284 <property name=
"receives_default">False
</property>
285 <property name=
"use_action_appearance">False
</property>
288 <property name=
"left_attach">1</property>
289 <property name=
"right_attach">2</property>
290 <property name=
"x_options">GTK_FILL
</property>
291 <property name=
"y_options"></property>
297 <object class=
"GtkLabel" id=
"label143">
298 <property name=
"visible">True
</property>
299 <property name=
"can_focus">False
</property>
300 <property name=
"label" translatable=
"yes">Message colors
</property>
302 <attribute name=
"weight" value=
"bold"/>
308 <property name=
"expand">False
</property>
309 <property name=
"fill">True
</property>
310 <property name=
"position">1</property>