1 <?xml version=
"1.0" encoding=
"UTF-8" standalone=
"no"?>
2 <!DOCTYPE glade-interface SYSTEM
"glade-2.0.dtd">
5 <widget class=
"GtkWindow" id=
"preferences_dialog">
6 <property name=
"title" translatable=
"yes">window1
</property>
8 <widget class=
"GtkHBox" id=
"Documents">
9 <property name=
"visible">True
</property>
10 <property name=
"border_width">5</property>
11 <property name=
"spacing">5</property>
13 <widget class=
"GtkVBox" id=
"vbox31">
14 <property name=
"visible">True
</property>
15 <property name=
"spacing">5</property>
17 <widget class=
"GtkFrame" id=
"frame46">
18 <property name=
"visible">True
</property>
19 <property name=
"label_xalign">0</property>
20 <property name=
"shadow_type">GTK_SHADOW_NONE
</property>
22 <widget class=
"GtkVBox" id=
"vbox1119">
23 <property name=
"visible">True
</property>
24 <property name=
"border_width">5</property>
25 <property name=
"spacing">5</property>
27 <widget class=
"GtkCheckButton" id=
"preferences_toggle:bool:1:0:save.automatic">
28 <property name=
"visible">True
</property>
29 <property name=
"can_focus">True
</property>
30 <property name=
"label" translatable=
"yes">Enable files autosave
</property>
31 <property name=
"use_underline">True
</property>
32 <property name=
"response_id">0</property>
33 <property name=
"draw_indicator">True
</property>
36 <property name=
"expand">False
</property>
37 <property name=
"fill">False
</property>
41 <widget class=
"GtkTable" id=
"table28">
42 <property name=
"visible">True
</property>
43 <property name=
"n_rows">2</property>
44 <property name=
"n_columns">2</property>
45 <property name=
"column_spacing">5</property>
46 <property name=
"row_spacing">5</property>
48 <widget class=
"GtkLabel" id=
"label115">
49 <property name=
"visible">True
</property>
50 <property name=
"xalign">0</property>
51 <property name=
"label" translatable=
"yes">Save files interval in minutes
</property>
54 <property name=
"left_attach">1</property>
55 <property name=
"right_attach">2</property>
56 <property name=
"x_options">GTK_FILL
</property>
57 <property name=
"y_options"></property>
61 <widget class=
"GtkLabel" id=
"label116">
62 <property name=
"xalign">0</property>
63 <property name=
"label" translatable=
"yes">Save session interval in minutes
</property>
66 <property name=
"left_attach">1</property>
67 <property name=
"right_attach">2</property>
68 <property name=
"top_attach">1</property>
69 <property name=
"bottom_attach">2</property>
70 <property name=
"x_options">GTK_FILL
</property>
71 <property name=
"y_options"></property>
75 <widget class=
"GtkSpinButton" id=
"preferences_spin:int:10:0:autosave.timer">
76 <property name=
"visible">True
</property>
77 <property name=
"can_focus">True
</property>
78 <property name=
"adjustment">10 1 1000 1 10 10</property>
79 <property name=
"climb_rate">1</property>
80 <property name=
"numeric">True
</property>
83 <property name=
"x_options">GTK_FILL
</property>
84 <property name=
"y_options"></property>
88 <widget class=
"GtkSpinButton" id=
"preferences_spin:int:10:0:save.session.timer">
89 <property name=
"can_focus">True
</property>
90 <property name=
"adjustment">10 0 1000 1 10 10</property>
91 <property name=
"climb_rate">1</property>
92 <property name=
"numeric">True
</property>
95 <property name=
"top_attach">1</property>
96 <property name=
"bottom_attach">2</property>
97 <property name=
"x_options">GTK_FILL
</property>
98 <property name=
"y_options"></property>
103 <property name=
"expand">False
</property>
104 <property name=
"position">1</property>
110 <widget class=
"GtkLabel" id=
"label12335">
111 <property name=
"visible">True
</property>
112 <property name=
"label" translatable=
"yes"><b
>Autosave
</b
></property>
113 <property name=
"use_markup">True
</property>
116 <property name=
"type">label_item
</property>
121 <property name=
"expand">False
</property>
132 <property name=
"expand">False
</property>
136 <widget class=
"GtkVBox" id=
"vbox32">
137 <property name=
"visible">True
</property>
138 <property name=
"spacing">5</property>
143 <widget class=
"GtkFrame" id=
"frame31">
144 <property name=
"visible">True
</property>
145 <property name=
"label_xalign">0</property>
146 <property name=
"shadow_type">GTK_SHADOW_NONE
</property>
148 <widget class=
"GtkVBox" id=
"vbox33">
149 <property name=
"visible">True
</property>
150 <property name=
"border_width">5</property>
151 <property name=
"spacing">5</property>
153 <widget class=
"GtkRadioButton" id=
"radiobutton9">
154 <property name=
"visible">True
</property>
155 <property name=
"can_focus">True
</property>
156 <property name=
"label" translatable=
"yes">Sorted in opening order
</property>
157 <property name=
"use_underline">True
</property>
158 <property name=
"response_id">0</property>
159 <property name=
"active">True
</property>
160 <property name=
"draw_indicator">True
</property>
163 <property name=
"expand">False
</property>
164 <property name=
"fill">False
</property>
168 <widget class=
"GtkRadioButton" id=
"preferences_toggle:bool:0:0:editor.tabs.recent.first">
169 <property name=
"visible">True
</property>
170 <property name=
"can_focus">True
</property>
171 <property name=
"label" translatable=
"yes">Sorted by most recent use
</property>
172 <property name=
"use_underline">True
</property>
173 <property name=
"response_id">0</property>
174 <property name=
"draw_indicator">True
</property>
175 <property name=
"group">radiobutton9
</property>
178 <property name=
"expand">False
</property>
179 <property name=
"fill">False
</property>
180 <property name=
"position">1</property>
184 <widget class=
"GtkRadioButton" id=
"preferences_toggle:bool:0:0:editor.tabs.ordering">
185 <property name=
"visible">True
</property>
186 <property name=
"can_focus">True
</property>
187 <property name=
"label" translatable=
"yes">Sorted in alphabetical order
</property>
188 <property name=
"use_underline">True
</property>
189 <property name=
"response_id">0</property>
190 <property name=
"draw_indicator">True
</property>
191 <property name=
"group">radiobutton9
</property>
194 <property name=
"expand">False
</property>
195 <property name=
"fill">False
</property>
196 <property name=
"position">2</property>
200 <widget class=
"GtkRadioButton" id=
"preferences_toggle:bool:0:0:editor.tabs.hide">
201 <property name=
"visible">True
</property>
202 <property name=
"can_focus">True
</property>
203 <property name=
"label" translatable=
"yes">Do not show tabs
</property>
204 <property name=
"use_underline">True
</property>
205 <property name=
"response_id">0</property>
206 <property name=
"draw_indicator">True
</property>
207 <property name=
"group">radiobutton9
</property>
210 <property name=
"expand">False
</property>
211 <property name=
"fill">False
</property>
212 <property name=
"position">3</property>
216 <widget class=
"GtkHBox" id=
"hbox27">
217 <property name=
"visible">True
</property>
218 <property name=
"border_width">5</property>
219 <property name=
"spacing">5</property>
221 <widget class=
"GtkLabel" id=
"label117">
222 <property name=
"visible">True
</property>
223 <property name=
"label" translatable=
"yes">Position:
</property>
226 <property name=
"expand">False
</property>
227 <property name=
"fill">False
</property>
231 <widget class=
"GtkComboBox" id=
"preferences_combo:text:Top,Bottom,Left,Right:0:editor.tabs.pos">
232 <property name=
"visible">True
</property>
233 <property name=
"events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK
</property>
234 <property name=
"items" translatable=
"yes">Top
240 <property name=
"position">1</property>
245 <property name=
"position">4</property>
254 <widget class=
"GtkLabel" id=
"label113">
255 <property name=
"visible">True
</property>
256 <property name=
"label" translatable=
"yes"><b
>Editor tabs
</b
></property>
257 <property name=
"use_markup">True
</property>
260 <property name=
"type">label_item
</property>
265 <property name=
"expand">False
</property>
266 <property name=
"position">1</property>
271 <property name=
"position">1</property>