PyRoom

Merge lp:~matthew-pirocchi/pyroom/use-gtkbuilder-fixed into lp:pyroom

  1. use-gtkbuilder-fixed
  2. Merge into trunk
Proposed by Matthew Pirocchi
Status: Merged
Merged at revision: 198
Proposed branch: lp:~matthew-pirocchi/pyroom/use-gtkbuilder-fixed
Merge into: lp:pyroom
Diff against target: None lines
To merge this branch: bzr merge lp:~matthew-pirocchi/pyroom/use-gtkbuilder-fixed
Reviewer Review Type Date Requested Status
PyRoom Dev Team Pending
Review via email: mp+12194@code.launchpad.net
To post a comment you must log in.
Revision history for this message
Matthew Pirocchi (matthew-pirocchi) wrote :

This is the fixed version of this merge proposal:
https://code.launchpad.net/~matthew-pirocchi/pyroom/use-gtkbuilder/+merge/9991
It's in a separate branch because I forgot to check in one of the files in the old branch, and had since deleted it. I think this branch is cleaner anyway, and I divided the commits up better this time, so it works out.

Copied from the old proposal:
"PyRoom currently uses libglade for loading glade files. This is deprecated as of GTK+ 2.12 (see http://live.gnome.org/GnomeGoals/RemoveLibGladeUseGtkBuilder). Instead, applications should use GtkBuilder, which is now built into gtk (unlike libglade, which is a separate library).

I've refactored PyRoom to use GtkBuilder instead of libglade."

Note:
The two RuntimeWarnings are because there are two signals in the preferences gladefile that are not handled. They weren't handled in libglade either, but libglade didn't warn you about this. This probably means you don't use them for anything, but I figured I'd stick to a simple refactoring and let you take a look and see if you want to get rid of them.

Revision history for this message
Florian Heinle (tiax) wrote :

Hi,

thanks for your work, the branch has been merged into trunk at revision 198!

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
=== modified file 'PyRoom/__init__.py'
--- PyRoom/__init__.py 2009-08-02 14:31:56 +0000
+++ PyRoom/__init__.py 2009-09-21 20:06:16 +0000
@@ -8,7 +8,6 @@
88
9import gettext9import gettext
10import gtk10import gtk
11from gtk import glade
1211
13import os12import os
14from os.path import pardir, abspath, dirname, join13from os.path import pardir, abspath, dirname, join
@@ -27,9 +26,8 @@
27if lang_in_env:26if lang_in_env:
28 languages_used.extend(lang_in_env.split())27 languages_used.extend(lang_in_env.split())
2928
30for module in gettext, glade:29gettext.bindtextdomain(GETTEXT_DOMAIN, LOCALE_PATH)
31 module.bindtextdomain(GETTEXT_DOMAIN, LOCALE_PATH)30gettext.textdomain(GETTEXT_DOMAIN)
32 module.textdomain(GETTEXT_DOMAIN)
3331
34translation = gettext.translation(GETTEXT_DOMAIN, LOCALE_PATH,32translation = gettext.translation(GETTEXT_DOMAIN, LOCALE_PATH,
35 languages=languages_used,33 languages=languages_used,
3634
=== modified file 'PyRoom/basic_edit.py'
--- PyRoom/basic_edit.py 2009-08-16 20:41:22 +0000
+++ PyRoom/basic_edit.py 2009-09-21 20:20:31 +0000
@@ -26,7 +26,6 @@
26"""26"""
2727
28import gtk28import gtk
29import gtk.glade
30import os29import os
31import urllib30import urllib
3231
@@ -391,31 +390,24 @@
391 max_height=monitor_geometry.height390 max_height=monitor_geometry.height
392 )391 )
393392
394 # Defines the glade file functions for use on closing a buffer393 # Defines the glade file functions for use on closing a buffer or exit
395 self.wTree = gtk.glade.XML(os.path.join(394 gladefile = os.path.join(state['absolute_path'], "interface.glade")
396 state['absolute_path'], "interface.glade"),395 builder = gtk.Builder()
397 "SaveBuffer")396 builder.add_from_file(gladefile)
398 self.dialog = self.wTree.get_widget("SaveBuffer")397 self.dialog = builder.get_object("SaveBuffer")
399 self.dialog.set_transient_for(self.window)398 self.dialog.set_transient_for(self.window)
399 self.quitdialog = builder.get_object("QuitSave")
400 self.quitdialog.set_transient_for(self.window)
400 dic = {401 dic = {
401 "on_button-close_clicked": self.unsave_dialog,402 "on_button-close_clicked": self.unsave_dialog,
402 "on_button-cancel_clicked": self.cancel_dialog,403 "on_button-cancel_clicked": self.cancel_dialog,
403 "on_button-save_clicked": self.save_dialog,404 "on_button-save_clicked": self.save_dialog,
404 }
405 self.wTree.signal_autoconnect(dic)
406
407 #Defines the glade file functions for use on exit
408 self.aTree = gtk.glade.XML(os.path.join(
409 state['absolute_path'], "interface.glade"),
410 "QuitSave")
411 self.quitdialog = self.aTree.get_widget("QuitSave")
412 self.quitdialog.set_transient_for(self.window)
413 dic = {
414 "on_button-close2_clicked": self.quit_quit,405 "on_button-close2_clicked": self.quit_quit,
415 "on_button-cancel2_clicked": self.cancel_quit,406 "on_button-cancel2_clicked": self.cancel_quit,
416 "on_button-save2_clicked": self.save_quit,407 "on_button-save2_clicked": self.save_quit,
417 }408 }
418 self.aTree.signal_autoconnect(dic)409 builder.connect_signals(dic)
410
419 self.keybindings = define_keybindings(self)411 self.keybindings = define_keybindings(self)
420 # this sucks, shouldn't have to call this here, textbox should412 # this sucks, shouldn't have to call this here, textbox should
421 # have its background and padding color from GUI().__init__() already413 # have its background and padding color from GUI().__init__() already
422414
=== modified file 'PyRoom/gui.py'
--- PyRoom/gui.py 2009-09-21 11:41:37 +0000
+++ PyRoom/gui.py 2009-09-21 20:01:25 +0000
@@ -27,7 +27,6 @@
27import gtk27import gtk
28import gobject28import gobject
29import pango29import pango
30import gtk.glade
31import ConfigParser30import ConfigParser
32import os31import os
33from sys import platform32from sys import platform
3433
=== modified file 'PyRoom/interface.glade'
--- PyRoom/interface.glade 2009-07-09 12:46:06 +0000
+++ PyRoom/interface.glade 2009-09-21 20:11:31 +0000
@@ -1,1048 +1,8 @@
1<?xml version="1.0"?>1<?xml version="1.0"?>
2<glade-interface>2<interface>
3 <!-- interface-requires gtk+ 2.16 -->3 <requires lib="gtk+" version="2.16"/>
4 <!-- interface-naming-policy toplevel-contextual -->4 <!-- interface-naming-policy toplevel-contextual -->
5 <widget class="GtkDialog" id="dialog-preferences">5 <object class="GtkWindow" id="SaveBuffer">
6 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
7 <property name="border_width">5</property>
8 <property name="title" translatable="yes">Pyroom Preferences</property>
9 <property name="resizable">False</property>
10 <property name="destroy_with_parent">True</property>
11 <property name="type_hint">dialog</property>
12 <property name="skip_taskbar_hint">True</property>
13 <property name="has_separator">False</property>
14 <signal name="delete_event" handler="on_close"/>
15 <child internal-child="vbox">
16 <widget class="GtkVBox" id="dialog-vbox1">
17 <property name="visible">True</property>
18 <property name="spacing">2</property>
19 <child>
20 <widget class="GtkNotebook" id="notebook1">
21 <property name="visible">True</property>
22 <property name="can_focus">True</property>
23 <child>
24 <widget class="GtkVBox" id="generaltab">
25 <property name="visible">True</property>
26 <property name="border_width">12</property>
27 <property name="spacing">18</property>
28 <child>
29 <widget class="GtkVBox" id="vbox4">
30 <property name="visible">True</property>
31 <property name="spacing">6</property>
32 <child>
33 <widget class="GtkLabel" id="label1">
34 <property name="visible">True</property>
35 <property name="xalign">0</property>
36 <property name="label" translatable="yes">&lt;b&gt;Autosave&lt;/b&gt;</property>
37 <property name="use_markup">True</property>
38 </widget>
39 <packing>
40 <property name="expand">False</property>
41 <property name="fill">False</property>
42 <property name="position">0</property>
43 </packing>
44 </child>
45 <child>
46 <widget class="GtkHBox" id="hbox3">
47 <property name="visible">True</property>
48 <child>
49 <widget class="GtkLabel" id="label4">
50 <property name="visible">True</property>
51 <property name="label"> </property>
52 </widget>
53 <packing>
54 <property name="expand">False</property>
55 <property name="fill">False</property>
56 <property name="position">0</property>
57 </packing>
58 </child>
59 <child>
60 <widget class="GtkHBox" id="hbox8">
61 <property name="visible">True</property>
62 <property name="spacing">6</property>
63 <child>
64 <widget class="GtkCheckButton" id="autosavetext">
65 <property name="label" translatable="yes">Autosave files every </property>
66 <property name="visible">True</property>
67 <property name="can_focus">True</property>
68 <property name="receives_default">False</property>
69 <property name="use_underline">True</property>
70 <property name="draw_indicator">True</property>
71 </widget>
72 <packing>
73 <property name="expand">False</property>
74 <property name="fill">False</property>
75 <property name="position">0</property>
76 </packing>
77 </child>
78 <child>
79 <widget class="GtkSpinButton" id="autosavetime">
80 <property name="visible">True</property>
81 <property name="can_focus">True</property>
82 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
83 <property name="adjustment">1 1 100 1 10 0</property>
84 <property name="climb_rate">1</property>
85 </widget>
86 <packing>
87 <property name="expand">False</property>
88 <property name="fill">False</property>
89 <property name="position">1</property>
90 </packing>
91 </child>
92 <child>
93 <widget class="GtkLabel" id="label2">
94 <property name="visible">True</property>
95 <property name="label" translatable="yes"> minutes.</property>
96 </widget>
97 <packing>
98 <property name="expand">False</property>
99 <property name="fill">False</property>
100 <property name="position">2</property>
101 </packing>
102 </child>
103 </widget>
104 <packing>
105 <property name="position">1</property>
106 </packing>
107 </child>
108 </widget>
109 <packing>
110 <property name="expand">False</property>
111 <property name="fill">False</property>
112 <property name="position">1</property>
113 </packing>
114 </child>
115 </widget>
116 <packing>
117 <property name="expand">False</property>
118 <property name="fill">False</property>
119 <property name="position">0</property>
120 </packing>
121 </child>
122 <child>
123 <widget class="GtkVBox" id="vbox6">
124 <property name="visible">True</property>
125 <property name="spacing">6</property>
126 <child>
127 <widget class="GtkLabel" id="label10">
128 <property name="visible">True</property>
129 <property name="xalign">0</property>
130 <property name="label" translatable="yes">&lt;b&gt;Display&lt;/b&gt;</property>
131 <property name="use_markup">True</property>
132 </widget>
133 <packing>
134 <property name="expand">False</property>
135 <property name="fill">False</property>
136 <property name="position">0</property>
137 </packing>
138 </child>
139 <child>
140 <widget class="GtkHBox" id="hbox11">
141 <property name="visible">True</property>
142 <child>
143 <widget class="GtkLabel" id="label16">
144 <property name="visible">True</property>
145 <property name="label"> </property>
146 </widget>
147 <packing>
148 <property name="expand">False</property>
149 <property name="fill">False</property>
150 <property name="position">0</property>
151 </packing>
152 </child>
153 <child>
154 <widget class="GtkCheckButton" id="showborder">
155 <property name="label" translatable="yes">Show border</property>
156 <property name="visible">True</property>
157 <property name="can_focus">True</property>
158 <property name="receives_default">False</property>
159 <property name="draw_indicator">True</property>
160 </widget>
161 <packing>
162 <property name="position">1</property>
163 </packing>
164 </child>
165 </widget>
166 <packing>
167 <property name="expand">False</property>
168 <property name="fill">False</property>
169 <property name="position">1</property>
170 </packing>
171 </child>
172 <child>
173 <widget class="GtkHBox" id="hbox10">
174 <property name="visible">True</property>
175 <child>
176 <widget class="GtkLabel" id="label14">
177 <property name="visible">True</property>
178 <property name="label"> </property>
179 </widget>
180 <packing>
181 <property name="expand">False</property>
182 <property name="fill">False</property>
183 <property name="position">0</property>
184 </packing>
185 </child>
186 <child>
187 <widget class="GtkLabel" id="label15">
188 <property name="visible">True</property>
189 <property name="label" translatable="yes">Modify line spacing (in pixels)</property>
190 </widget>
191 <packing>
192 <property name="position">1</property>
193 </packing>
194 </child>
195 <child>
196 <widget class="GtkSpinButton" id="linespacing">
197 <property name="visible">True</property>
198 <property name="can_focus">True</property>
199 <property name="adjustment">0 0 100 1 10 0</property>
200 <property name="climb_rate">1</property>
201 </widget>
202 <packing>
203 <property name="position">2</property>
204 </packing>
205 </child>
206 </widget>
207 <packing>
208 <property name="expand">False</property>
209 <property name="fill">False</property>
210 <property name="position">2</property>
211 </packing>
212 </child>
213 <child>
214 <widget class="GtkHBox" id="hbox16">
215 <property name="visible">True</property>
216 <child>
217 <widget class="GtkLabel" id="label21">
218 <property name="visible">True</property>
219 <property name="label"> </property>
220 </widget>
221 <packing>
222 <property name="expand">False</property>
223 <property name="position">0</property>
224 </packing>
225 </child>
226 <child>
227 <widget class="GtkCheckButton" id="indent_check">
228 <property name="label" translatable="yes">Indent new paragraphs</property>
229 <property name="visible">True</property>
230 <property name="can_focus">True</property>
231 <property name="receives_default">False</property>
232 <property name="draw_indicator">True</property>
233 </widget>
234 <packing>
235 <property name="position">1</property>
236 </packing>
237 </child>
238 </widget>
239 <packing>
240 <property name="position">3</property>
241 </packing>
242 </child>
243 </widget>
244 <packing>
245 <property name="position">1</property>
246 </packing>
247 </child>
248 <child>
249 <widget class="GtkVBox" id="vbox2">
250 <property name="visible">True</property>
251 <property name="orientation">vertical</property>
252 <child>
253 <widget class="GtkLabel" id="label3">
254 <property name="visible">True</property>
255 <property name="xalign">0</property>
256 <property name="label" translatable="yes">&lt;b&gt;Textbox orientation&lt;/b&gt;</property>
257 <property name="use_markup">True</property>
258 </widget>
259 <packing>
260 <property name="expand">False</property>
261 <property name="fill">False</property>
262 <property name="position">0</property>
263 </packing>
264 </child>
265 <child>
266 <widget class="GtkHBox" id="hbox1">
267 <property name="visible">True</property>
268 <child>
269 <widget class="GtkLabel" id="label6">
270 <property name="visible">True</property>
271 <property name="label" translatable="yes"> </property>
272 </widget>
273 <packing>
274 <property name="expand">False</property>
275 <property name="fill">False</property>
276 <property name="position">0</property>
277 </packing>
278 </child>
279 <child>
280 <widget class="GtkRadioButton" id="orientation_center">
281 <property name="label" translatable="yes">Center of the screen</property>
282 <property name="visible">True</property>
283 <property name="can_focus">True</property>
284 <property name="receives_default">False</property>
285 <property name="active">True</property>
286 <property name="draw_indicator">True</property>
287 </widget>
288 <packing>
289 <property name="position">1</property>
290 </packing>
291 </child>
292 </widget>
293 <packing>
294 <property name="position">1</property>
295 </packing>
296 </child>
297 <child>
298 <widget class="GtkHBox" id="hbox2">
299 <property name="visible">True</property>
300 <child>
301 <widget class="GtkLabel" id="label23">
302 <property name="visible">True</property>
303 <property name="label" translatable="yes"> </property>
304 </widget>
305 <packing>
306 <property name="expand">False</property>
307 <property name="fill">False</property>
308 <property name="position">0</property>
309 </packing>
310 </child>
311 <child>
312 <widget class="GtkRadioButton" id="orientation_top">
313 <property name="label" translatable="yes">Top of the screen</property>
314 <property name="visible">True</property>
315 <property name="can_focus">True</property>
316 <property name="receives_default">False</property>
317 <property name="active">True</property>
318 <property name="draw_indicator">True</property>
319 <property name="group">orientation_center</property>
320 </widget>
321 <packing>
322 <property name="position">1</property>
323 </packing>
324 </child>
325 </widget>
326 <packing>
327 <property name="position">2</property>
328 </packing>
329 </child>
330 </widget>
331 <packing>
332 <property name="position">2</property>
333 </packing>
334 </child>
335 <child>
336 <widget class="GtkVBox" id="vbox5">
337 <property name="visible">True</property>
338 <child>
339 <widget class="GtkLabel" id="label8">
340 <property name="visible">True</property>
341 <property name="xalign">0</property>
342 <property name="label" translatable="yes">&lt;b&gt;Text font&lt;/b&gt;</property>
343 <property name="use_markup">True</property>
344 </widget>
345 <packing>
346 <property name="expand">False</property>
347 <property name="fill">False</property>
348 <property name="padding">1</property>
349 <property name="position">0</property>
350 </packing>
351 </child>
352 <child>
353 <widget class="GtkHBox" id="hbox7">
354 <property name="visible">True</property>
355 <child>
356 <widget class="GtkLabel" id="label13">
357 <property name="visible">True</property>
358 <property name="label"> </property>
359 </widget>
360 <packing>
361 <property name="expand">False</property>
362 <property name="fill">False</property>
363 <property name="position">0</property>
364 </packing>
365 </child>
366 <child>
367 <widget class="GtkRadioButton" id="radio_document_font">
368 <property name="label" translatable="yes">Default _document font</property>
369 <property name="visible">True</property>
370 <property name="sensitive">False</property>
371 <property name="can_focus">True</property>
372 <property name="receives_default">False</property>
373 <property name="use_underline">True</property>
374 <property name="draw_indicator">True</property>
375 </widget>
376 <packing>
377 <property name="position">1</property>
378 </packing>
379 </child>
380 </widget>
381 <packing>
382 <property name="padding">2</property>
383 <property name="position">1</property>
384 </packing>
385 </child>
386 <child>
387 <widget class="GtkHBox" id="hbox14">
388 <property name="visible">True</property>
389 <child>
390 <widget class="GtkLabel" id="label19">
391 <property name="visible">True</property>
392 <property name="label"> </property>
393 </widget>
394 <packing>
395 <property name="expand">False</property>
396 <property name="fill">False</property>
397 <property name="position">0</property>
398 </packing>
399 </child>
400 <child>
401 <widget class="GtkRadioButton" id="radio_monospace_font">
402 <property name="label" translatable="yes">Default _monospace font</property>
403 <property name="visible">True</property>
404 <property name="sensitive">False</property>
405 <property name="can_focus">True</property>
406 <property name="receives_default">False</property>
407 <property name="use_underline">True</property>
408 <property name="draw_indicator">True</property>
409 <property name="group">radio_document_font</property>
410 </widget>
411 <packing>
412 <property name="position">1</property>
413 </packing>
414 </child>
415 </widget>
416 <packing>
417 <property name="padding">2</property>
418 <property name="position">2</property>
419 </packing>
420 </child>
421 <child>
422 <widget class="GtkHBox" id="hbox15">
423 <property name="visible">True</property>
424 <child>
425 <widget class="GtkLabel" id="label20">
426 <property name="visible">True</property>
427 <property name="label"> </property>
428 </widget>
429 <packing>
430 <property name="expand">False</property>
431 <property name="fill">False</property>
432 <property name="position">0</property>
433 </packing>
434 </child>
435 <child>
436 <widget class="GtkRadioButton" id="radio_custom_font">
437 <property name="label" translatable="yes">_Custom font</property>
438 <property name="visible">True</property>
439 <property name="can_focus">True</property>
440 <property name="receives_default">False</property>
441 <property name="use_underline">True</property>
442 <property name="active">True</property>
443 <property name="draw_indicator">True</property>
444 <property name="group">radio_document_font</property>
445 </widget>
446 <packing>
447 <property name="position">1</property>
448 </packing>
449 </child>
450 <child>
451 <widget class="GtkFontButton" id="fontbutton1">
452 <property name="visible">True</property>
453 <property name="can_focus">True</property>
454 <property name="receives_default">True</property>
455 <property name="title" translatable="yes">Select a font</property>
456 </widget>
457 <packing>
458 <property name="position">2</property>
459 </packing>
460 </child>
461 </widget>
462 <packing>
463 <property name="padding">2</property>
464 <property name="position">3</property>
465 </packing>
466 </child>
467 </widget>
468 <packing>
469 <property name="position">3</property>
470 </packing>
471 </child>
472 </widget>
473 </child>
474 <child>
475 <widget class="GtkLabel" id="viewlabel">
476 <property name="visible">True</property>
477 <property name="label" translatable="yes">General</property>
478 </widget>
479 <packing>
480 <property name="tab_fill">False</property>
481 <property name="type">tab</property>
482 </packing>
483 </child>
484 <child>
485 <widget class="GtkVBox" id="themetab">
486 <property name="visible">True</property>
487 <property name="spacing">8</property>
488 <child>
489 <widget class="GtkLabel" id="label5">
490 <property name="visible">True</property>
491 <property name="label" translatable="yes">&lt;b&gt;Themes&lt;/b&gt;</property>
492 <property name="use_markup">True</property>
493 <property name="width_chars">0</property>
494 </widget>
495 <packing>
496 <property name="padding">8</property>
497 <property name="position">0</property>
498 </packing>
499 </child>
500 <child>
501 <widget class="GtkHBox" id="hbox4">
502 <property name="visible">True</property>
503 <child>
504 <widget class="GtkLabel" id="label7">
505 <property name="visible">True</property>
506 <property name="label"> </property>
507 </widget>
508 <packing>
509 <property name="expand">False</property>
510 <property name="fill">False</property>
511 <property name="position">0</property>
512 </packing>
513 </child>
514 <child>
515 <widget class="GtkTable" id="table2">
516 <property name="visible">True</property>
517 <property name="n_columns">3</property>
518 <child>
519 <widget class="GtkLabel" id="presetslabel">
520 <property name="visible">True</property>
521 <property name="label" translatable="yes">Presets:</property>
522 <property name="justify">center</property>
523 </widget>
524 <packing>
525 <property name="y_options"></property>
526 </packing>
527 </child>
528 <child>
529 <widget class="GtkComboBox" id="presetscombobox">
530 <property name="visible">True</property>
531 <property name="items" translatable="yes">Custom</property>
532 </widget>
533 <packing>
534 <property name="left_attach">1</property>
535 <property name="right_attach">2</property>
536 <property name="y_options"></property>
537 </packing>
538 </child>
539 <child>
540 <widget class="GtkButton" id="save_custom_theme">
541 <property name="label" translatable="yes">_Save</property>
542 <property name="visible">True</property>
543 <property name="sensitive">False</property>
544 <property name="can_focus">True</property>
545 <property name="receives_default">True</property>
546 <property name="use_underline">True</property>
547 </widget>
548 <packing>
549 <property name="left_attach">2</property>
550 <property name="right_attach">3</property>
551 </packing>
552 </child>
553 </widget>
554 <packing>
555 <property name="position">1</property>
556 </packing>
557 </child>
558 <child>
559 <widget class="GtkLabel" id="label9">
560 <property name="visible">True</property>
561 <property name="label"> </property>
562 </widget>
563 <packing>
564 <property name="expand">False</property>
565 <property name="fill">False</property>
566 <property name="position">2</property>
567 </packing>
568 </child>
569 </widget>
570 <packing>
571 <property name="position">1</property>
572 </packing>
573 </child>
574 <child>
575 <widget class="GtkHSeparator" id="hseparator1">
576 <property name="visible">True</property>
577 </widget>
578 <packing>
579 <property name="expand">False</property>
580 <property name="position">2</property>
581 </packing>
582 </child>
583 <child>
584 <widget class="GtkHBox" id="hbox9">
585 <property name="visible">True</property>
586 <child>
587 <widget class="GtkTable" id="table1">
588 <property name="visible">True</property>
589 <property name="n_rows">7</property>
590 <property name="n_columns">2</property>
591 <property name="column_spacing">6</property>
592 <property name="homogeneous">True</property>
593 <child>
594 <widget class="GtkColorButton" id="textboxbgbutton">
595 <property name="visible">True</property>
596 <property name="can_focus">True</property>
597 <property name="receives_default">True</property>
598 <property name="color">#000000000000</property>
599 </widget>
600 <packing>
601 <property name="left_attach">1</property>
602 <property name="right_attach">2</property>
603 <property name="top_attach">2</property>
604 <property name="bottom_attach">3</property>
605 </packing>
606 </child>
607 <child>
608 <widget class="GtkColorButton" id="bgbutton">
609 <property name="visible">True</property>
610 <property name="can_focus">True</property>
611 <property name="receives_default">False</property>
612 <property name="use_alpha">True</property>
613 </widget>
614 <packing>
615 <property name="left_attach">1</property>
616 <property name="right_attach">2</property>
617 </packing>
618 </child>
619 <child>
620 <widget class="GtkColorButton" id="borderbutton">
621 <property name="visible">True</property>
622 <property name="can_focus">True</property>
623 <property name="receives_default">False</property>
624 <property name="use_alpha">True</property>
625 </widget>
626 <packing>
627 <property name="left_attach">1</property>
628 <property name="right_attach">2</property>
629 <property name="top_attach">1</property>
630 <property name="bottom_attach">2</property>
631 </packing>
632 </child>
633 <child>
634 <widget class="GtkColorButton" id="colorbutton">
635 <property name="visible">True</property>
636 <property name="can_focus">True</property>
637 <property name="receives_default">False</property>
638 <property name="use_alpha">True</property>
639 <signal name="color_set" handler="on_colorbutton1_color_set"/>
640 </widget>
641 <packing>
642 <property name="left_attach">1</property>
643 <property name="right_attach">2</property>
644 <property name="top_attach">3</property>
645 <property name="bottom_attach">4</property>
646 </packing>
647 </child>
648 <child>
649 <widget class="GtkHBox" id="hbox12">
650 <property name="visible">True</property>
651 <child>
652 <widget class="GtkSpinButton" id="heighttext">
653 <property name="visible">True</property>
654 <property name="can_focus">True</property>
655 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
656 <property name="adjustment">5 5 95 1 10 0</property>
657 <property name="climb_rate">1</property>
658 </widget>
659 <packing>
660 <property name="position">0</property>
661 </packing>
662 </child>
663 <child>
664 <widget class="GtkLabel" id="label18">
665 <property name="visible">True</property>
666 <property name="label" translatable="yes">%</property>
667 <property name="width_chars">2</property>
668 </widget>
669 <packing>
670 <property name="expand">False</property>
671 <property name="fill">False</property>
672 <property name="position">1</property>
673 </packing>
674 </child>
675 </widget>
676 <packing>
677 <property name="left_attach">1</property>
678 <property name="right_attach">2</property>
679 <property name="top_attach">4</property>
680 <property name="bottom_attach">5</property>
681 </packing>
682 </child>
683 <child>
684 <widget class="GtkHBox" id="hbox13">
685 <property name="visible">True</property>
686 <child>
687 <widget class="GtkSpinButton" id="widthtext">
688 <property name="visible">True</property>
689 <property name="can_focus">True</property>
690 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
691 <property name="adjustment">5 5 95 1 10 0</property>
692 <property name="climb_rate">1</property>
693 </widget>
694 <packing>
695 <property name="position">0</property>
696 </packing>
697 </child>
698 <child>
699 <widget class="GtkLabel" id="label22">
700 <property name="visible">True</property>
701 <property name="label" translatable="yes">%</property>
702 <property name="width_chars">3</property>
703 </widget>
704 <packing>
705 <property name="expand">False</property>
706 <property name="fill">False</property>
707 <property name="position">1</property>
708 </packing>
709 </child>
710 </widget>
711 <packing>
712 <property name="left_attach">1</property>
713 <property name="right_attach">2</property>
714 <property name="top_attach">5</property>
715 <property name="bottom_attach">6</property>
716 </packing>
717 </child>
718 <child>
719 <widget class="GtkHBox" id="hbox17">
720 <property name="visible">True</property>
721 <child>
722 <placeholder/>
723 </child>
724 <child>
725 <widget class="GtkLabel" id="bglabel">
726 <property name="visible">True</property>
727 <property name="label" translatable="yes">Background color:</property>
728 <property name="use_underline">True</property>
729 <property name="justify">center</property>
730 <property name="mnemonic_widget">bgbutton</property>
731 </widget>
732 <packing>
733 <property name="expand">False</property>
734 <property name="fill">False</property>
735 <property name="pack_type">end</property>
736 <property name="position">1</property>
737 </packing>
738 </child>
739 </widget>
740 <packing>
741 <property name="y_options"></property>
742 </packing>
743 </child>
744 <child>
745 <widget class="GtkHBox" id="hbox18">
746 <property name="visible">True</property>
747 <child>
748 <placeholder/>
749 </child>
750 <child>
751 <widget class="GtkLabel" id="borderlabel">
752 <property name="visible">True</property>
753 <property name="label" translatable="yes">Border color:</property>
754 <property name="justify">center</property>
755 </widget>
756 <packing>
757 <property name="expand">False</property>
758 <property name="fill">False</property>
759 <property name="pack_type">end</property>
760 <property name="position">1</property>
761 </packing>
762 </child>
763 </widget>
764 <packing>
765 <property name="top_attach">1</property>
766 <property name="bottom_attach">2</property>
767 <property name="y_options"></property>
768 </packing>
769 </child>
770 <child>
771 <widget class="GtkHBox" id="hbox19">
772 <property name="visible">True</property>
773 <child>
774 <placeholder/>
775 </child>
776 <child>
777 <widget class="GtkLabel" id="textboxbackground">
778 <property name="visible">True</property>
779 <property name="label" translatable="yes">Textbox background:</property>
780 <property name="justify">center</property>
781 </widget>
782 <packing>
783 <property name="expand">False</property>
784 <property name="fill">False</property>
785 <property name="pack_type">end</property>
786 <property name="position">1</property>
787 </packing>
788 </child>
789 </widget>
790 <packing>
791 <property name="top_attach">2</property>
792 <property name="bottom_attach">3</property>
793 <property name="y_options"></property>
794 </packing>
795 </child>
796 <child>
797 <widget class="GtkHBox" id="hbox20">
798 <property name="visible">True</property>
799 <child>
800 <placeholder/>
801 </child>
802 <child>
803 <widget class="GtkLabel" id="colorlabel">
804 <property name="visible">True</property>
805 <property name="label" translatable="yes">Text color:</property>
806 <property name="justify">center</property>
807 </widget>
808 <packing>
809 <property name="expand">False</property>
810 <property name="fill">False</property>
811 <property name="pack_type">end</property>
812 <property name="position">1</property>
813 </packing>
814 </child>
815 </widget>
816 <packing>
817 <property name="top_attach">3</property>
818 <property name="bottom_attach">4</property>
819 <property name="y_options"></property>
820 </packing>
821 </child>
822 <child>
823 <widget class="GtkHBox" id="hbox21">
824 <property name="visible">True</property>
825 <child>
826 <placeholder/>
827 </child>
828 <child>
829 <widget class="GtkLabel" id="heightlabel">
830 <property name="visible">True</property>
831 <property name="label" translatable="yes">Height:</property>
832 </widget>
833 <packing>
834 <property name="expand">False</property>
835 <property name="fill">False</property>
836 <property name="pack_type">end</property>
837 <property name="position">1</property>
838 </packing>
839 </child>
840 </widget>
841 <packing>
842 <property name="top_attach">4</property>
843 <property name="bottom_attach">5</property>
844 <property name="y_options"></property>
845 </packing>
846 </child>
847 <child>
848 <widget class="GtkHBox" id="hbox22">
849 <property name="visible">True</property>
850 <child>
851 <placeholder/>
852 </child>
853 <child>
854 <widget class="GtkLabel" id="widthlabel">
855 <property name="visible">True</property>
856 <property name="label" translatable="yes">Width:</property>
857 <property name="justify">center</property>
858 </widget>
859 <packing>
860 <property name="expand">False</property>
861 <property name="fill">False</property>
862 <property name="pack_type">end</property>
863 <property name="position">1</property>
864 </packing>
865 </child>
866 </widget>
867 <packing>
868 <property name="top_attach">5</property>
869 <property name="bottom_attach">6</property>
870 <property name="y_options"></property>
871 </packing>
872 </child>
873 <child>
874 <widget class="GtkHBox" id="hbox23">
875 <property name="visible">True</property>
876 <child>
877 <placeholder/>
878 </child>
879 <child>
880 <widget class="GtkLabel" id="paddinglabel">
881 <property name="visible">True</property>
882 <property name="label" translatable="yes">Padding:</property>
883 <property name="justify">center</property>
884 </widget>
885 <packing>
886 <property name="expand">False</property>
887 <property name="fill">False</property>
888 <property name="pack_type">end</property>
889 <property name="position">1</property>
890 </packing>
891 </child>
892 </widget>
893 <packing>
894 <property name="top_attach">6</property>
895 <property name="bottom_attach">7</property>
896 <property name="y_options"></property>
897 </packing>
898 </child>
899 <child>
900 <widget class="GtkHBox" id="hbox24">
901 <property name="visible">True</property>
902 <child>
903 <widget class="GtkSpinButton" id="paddingtext">
904 <property name="visible">True</property>
905 <property name="can_focus">True</property>
906 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
907 <property name="adjustment">0 0 100 1 10 0</property>
908 <property name="climb_rate">1</property>
909 </widget>
910 <packing>
911 <property name="position">0</property>
912 </packing>
913 </child>
914 <child>
915 <widget class="GtkLabel" id="label17">
916 <property name="visible">True</property>
917 <property name="label" translatable="yes">px</property>
918 <property name="width_chars">3</property>
919 </widget>
920 <packing>
921 <property name="expand">False</property>
922 <property name="fill">False</property>
923 <property name="position">1</property>
924 </packing>
925 </child>
926 </widget>
927 <packing>
928 <property name="left_attach">1</property>
929 <property name="right_attach">2</property>
930 <property name="top_attach">6</property>
931 <property name="bottom_attach">7</property>
932 </packing>
933 </child>
934 </widget>
935 <packing>
936 <property name="position">0</property>
937 </packing>
938 </child>
939 <child>
940 <widget class="GtkVBox" id="vbox1">
941 <property name="visible">True</property>
942 <child>
943 <widget class="GtkLabel" id="label12">
944 <property name="visible">True</property>
945 <property name="label"> </property>
946 </widget>
947 <packing>
948 <property name="expand">False</property>
949 <property name="fill">False</property>
950 <property name="position">0</property>
951 </packing>
952 </child>
953 </widget>
954 <packing>
955 <property name="expand">False</property>
956 <property name="fill">False</property>
957 <property name="position">1</property>
958 </packing>
959 </child>
960 </widget>
961 <packing>
962 <property name="position">3</property>
963 </packing>
964 </child>
965 <child>
966 <widget class="GtkLabel" id="label11">
967 <property name="height_request">1</property>
968 <property name="visible">True</property>
969 <property name="xalign">0.0099999997764825821</property>
970 <property name="yalign">0.0099999997764825821</property>
971 <property name="label"> </property>
972 </widget>
973 <packing>
974 <property name="expand">False</property>
975 <property name="fill">False</property>
976 <property name="position">4</property>
977 </packing>
978 </child>
979 </widget>
980 <packing>
981 <property name="position">1</property>
982 </packing>
983 </child>
984 <child>
985 <widget class="GtkLabel" id="themelabel">
986 <property name="visible">True</property>
987 <property name="label" translatable="yes">Theme</property>
988 </widget>
989 <packing>
990 <property name="position">1</property>
991 <property name="tab_fill">False</property>
992 <property name="type">tab</property>
993 </packing>
994 </child>
995 </widget>
996 <packing>
997 <property name="position">1</property>
998 </packing>
999 </child>
1000 <child internal-child="action_area">
1001 <widget class="GtkHButtonBox" id="dialog-action_area1">
1002 <property name="visible">True</property>
1003 <property name="layout_style">end</property>
1004 <child>
1005 <widget class="GtkButton" id="button-close">
1006 <property name="label">gtk-cancel</property>
1007 <property name="visible">True</property>
1008 <property name="can_focus">True</property>
1009 <property name="receives_default">False</property>
1010 <property name="use_stock">True</property>
1011 <signal name="clicked" handler="on_button-close_clicked"/>
1012 </widget>
1013 <packing>
1014 <property name="expand">False</property>
1015 <property name="fill">False</property>
1016 <property name="position">0</property>
1017 </packing>
1018 </child>
1019 <child>
1020 <widget class="GtkButton" id="button-ok">
1021 <property name="label">gtk-ok</property>
1022 <property name="visible">True</property>
1023 <property name="can_focus">True</property>
1024 <property name="receives_default">False</property>
1025 <property name="use_stock">True</property>
1026 <signal name="clicked" handler="on_button-ok_clicked"/>
1027 <signal name="activate" handler="on_button-ok_activate"/>
1028 </widget>
1029 <packing>
1030 <property name="expand">False</property>
1031 <property name="fill">False</property>
1032 <property name="position">1</property>
1033 </packing>
1034 </child>
1035 </widget>
1036 <packing>
1037 <property name="expand">False</property>
1038 <property name="pack_type">end</property>
1039 <property name="position">0</property>
1040 </packing>
1041 </child>
1042 </widget>
1043 </child>
1044 </widget>
1045 <widget class="GtkWindow" id="SaveBuffer">
1046 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>6 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1047 <property name="title" translatable="yes">Save changes?</property>7 <property name="title" translatable="yes">Save changes?</property>
1048 <property name="window_position">center</property>8 <property name="window_position">center</property>
@@ -1051,95 +11,95 @@
1051 <property name="type_hint">dialog</property>11 <property name="type_hint">dialog</property>
1052 <property name="skip_taskbar_hint">True</property>12 <property name="skip_taskbar_hint">True</property>
1053 <child>13 <child>
1054 <widget class="GtkVBox" id="vbox2">14 <object class="GtkVBox" id="vbox2">
1055 <property name="visible">True</property>15 <property name="visible">True</property>
1056 <child>16 <child>
1057 <widget class="GtkHBox" id="hbox1">17 <object class="GtkHBox" id="hbox1">
1058 <property name="visible">True</property>18 <property name="visible">True</property>
1059 <child>19 <child>
1060 <widget class="GtkImage" id="image1">20 <object class="GtkImage" id="image1">
1061 <property name="visible">True</property>21 <property name="visible">True</property>
1062 <property name="xpad">5</property>22 <property name="xpad">5</property>
1063 <property name="ypad">1</property>23 <property name="ypad">1</property>
1064 <property name="stock">gtk-dialog-warning</property>24 <property name="stock">gtk-dialog-warning</property>
1065 <property name="icon-size">6</property>25 <property name="icon-size">6</property>
1066 </widget>26 </object>
1067 <packing>27 <packing>
1068 <property name="position">0</property>28 <property name="position">0</property>
1069 </packing>29 </packing>
1070 </child>30 </child>
1071 <child>31 <child>
1072 <widget class="GtkLabel" id="label3">32 <object class="GtkLabel" id="label3">
1073 <property name="visible">True</property>33 <property name="visible">True</property>
1074 <property name="label" translatable="yes">&lt;b&gt;Warning!&lt;/b&gt;34 <property name="label" translatable="yes">&lt;b&gt;Warning!&lt;/b&gt;
1075You are about to close your current document leaving unsaved changes. If you continue, any changes will be lost.</property>35You are about to close your current document leaving unsaved changes. If you continue, any changes will be lost.</property>
1076 <property name="use_markup">True</property>36 <property name="use_markup">True</property>
1077 <property name="wrap">True</property>37 <property name="wrap">True</property>
1078 </widget>38 </object>
1079 <packing>39 <packing>
1080 <property name="position">1</property>40 <property name="position">1</property>
1081 </packing>41 </packing>
1082 </child>42 </child>
1083 </widget>43 </object>
1084 <packing>44 <packing>
1085 <property name="position">0</property>45 <property name="position">0</property>
1086 </packing>46 </packing>
1087 </child>47 </child>
1088 <child>48 <child>
1089 <widget class="GtkHBox" id="hbox2">49 <object class="GtkHBox" id="hbox2">
1090 <property name="visible">True</property>50 <property name="visible">True</property>
1091 <child>51 <child>
1092 <widget class="GtkButton" id="button-close1">52 <object class="GtkButton" id="button-close1">
1093 <property name="label" translatable="yes">Close without saving</property>53 <property name="label" translatable="yes">Close without saving</property>
1094 <property name="visible">True</property>54 <property name="visible">True</property>
1095 <property name="can_focus">True</property>55 <property name="can_focus">True</property>
1096 <property name="receives_default">False</property>56 <property name="receives_default">False</property>
1097 <property name="use_underline">True</property>57 <property name="use_underline">True</property>
1098 <signal name="clicked" handler="on_button-close_clicked"/>58 <signal name="clicked" handler="on_button-close_clicked"/>
1099 </widget>59 </object>
1100 <packing>60 <packing>
1101 <property name="padding">2</property>61 <property name="padding">2</property>
1102 <property name="position">0</property>62 <property name="position">0</property>
1103 </packing>63 </packing>
1104 </child>64 </child>
1105 <child>65 <child>
1106 <widget class="GtkButton" id="button-cancel">66 <object class="GtkButton" id="button-cancel">
1107 <property name="label">gtk-cancel</property>67 <property name="label">gtk-cancel</property>
1108 <property name="visible">True</property>68 <property name="visible">True</property>
1109 <property name="can_focus">True</property>69 <property name="can_focus">True</property>
1110 <property name="receives_default">False</property>70 <property name="receives_default">False</property>
1111 <property name="use_stock">True</property>71 <property name="use_stock">True</property>
1112 <signal name="clicked" handler="on_button-cancel_clicked"/>72 <signal name="clicked" handler="on_button-cancel_clicked"/>
1113 </widget>73 </object>
1114 <packing>74 <packing>
1115 <property name="position">1</property>75 <property name="position">1</property>
1116 </packing>76 </packing>
1117 </child>77 </child>
1118 <child>78 <child>
1119 <widget class="GtkButton" id="button-save">79 <object class="GtkButton" id="button-save">
1120 <property name="label">gtk-save</property>80 <property name="label">gtk-save</property>
1121 <property name="visible">True</property>81 <property name="visible">True</property>
1122 <property name="can_focus">True</property>82 <property name="can_focus">True</property>
1123 <property name="receives_default">False</property>83 <property name="receives_default">False</property>
1124 <property name="use_stock">True</property>84 <property name="use_stock">True</property>
1125 <signal name="clicked" handler="on_button-save_clicked"/>85 <signal name="clicked" handler="on_button-save_clicked"/>
1126 </widget>86 </object>
1127 <packing>87 <packing>
1128 <property name="padding">2</property>88 <property name="padding">2</property>
1129 <property name="position">2</property>89 <property name="position">2</property>
1130 </packing>90 </packing>
1131 </child>91 </child>
1132 </widget>92 </object>
1133 <packing>93 <packing>
1134 <property name="expand">False</property>94 <property name="expand">False</property>
1135 <property name="padding">4</property>95 <property name="padding">4</property>
1136 <property name="position">1</property>96 <property name="position">1</property>
1137 </packing>97 </packing>
1138 </child>98 </child>
1139 </widget>99 </object>
1140 </child>100 </child>
1141 </widget>101 </object>
1142 <widget class="GtkWindow" id="QuitSave">102 <object class="GtkWindow" id="QuitSave">
1143 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>103 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
1144 <property name="title" translatable="yes">Save changes?</property>104 <property name="title" translatable="yes">Save changes?</property>
1145 <property name="window_position">center</property>105 <property name="window_position">center</property>
@@ -1148,92 +108,92 @@
1148 <property name="type_hint">dialog</property>108 <property name="type_hint">dialog</property>
1149 <property name="skip_taskbar_hint">True</property>109 <property name="skip_taskbar_hint">True</property>
1150 <child>110 <child>
1151 <widget class="GtkVBox" id="vbox3">111 <object class="GtkVBox" id="vbox3">
1152 <property name="visible">True</property>112 <property name="visible">True</property>
1153 <child>113 <child>
1154 <widget class="GtkHBox" id="hbox5">114 <object class="GtkHBox" id="hbox5">
1155 <property name="visible">True</property>115 <property name="visible">True</property>
1156 <child>116 <child>
1157 <widget class="GtkImage" id="image3">117 <object class="GtkImage" id="image3">
1158 <property name="visible">True</property>118 <property name="visible">True</property>
1159 <property name="xpad">5</property>119 <property name="xpad">5</property>
1160 <property name="ypad">1</property>120 <property name="ypad">1</property>
1161 <property name="stock">gtk-dialog-warning</property>121 <property name="stock">gtk-dialog-warning</property>
1162 <property name="icon-size">6</property>122 <property name="icon-size">6</property>
1163 </widget>123 </object>
1164 <packing>124 <packing>
1165 <property name="position">0</property>125 <property name="position">0</property>
1166 </packing>126 </packing>
1167 </child>127 </child>
1168 <child>128 <child>
1169 <widget class="GtkLabel" id="label6">129 <object class="GtkLabel" id="label6">
1170 <property name="visible">True</property>130 <property name="visible">True</property>
1171 <property name="label" translatable="yes">&lt;b&gt;Warning!&lt;/b&gt;131 <property name="label" translatable="yes">&lt;b&gt;Warning!&lt;/b&gt;
1172You are about to quit leaving documents with unsaved changes. If you continue, you will loose any changes that you have made.</property>132You are about to quit leaving documents with unsaved changes. If you continue, you will loose any changes that you have made.</property>
1173 <property name="use_markup">True</property>133 <property name="use_markup">True</property>
1174 <property name="wrap">True</property>134 <property name="wrap">True</property>
1175 </widget>135 </object>
1176 <packing>136 <packing>
1177 <property name="position">1</property>137 <property name="position">1</property>
1178 </packing>138 </packing>
1179 </child>139 </child>
1180 </widget>140 </object>
1181 <packing>141 <packing>
1182 <property name="position">0</property>142 <property name="position">0</property>
1183 </packing>143 </packing>
1184 </child>144 </child>
1185 <child>145 <child>
1186 <widget class="GtkHBox" id="hbox6">146 <object class="GtkHBox" id="hbox6">
1187 <property name="visible">True</property>147 <property name="visible">True</property>
1188 <child>148 <child>
1189 <widget class="GtkButton" id="button-close2">149 <object class="GtkButton" id="button-close2">
1190 <property name="label" translatable="yes">Close without saving</property>150 <property name="label" translatable="yes">Close without saving</property>
1191 <property name="visible">True</property>151 <property name="visible">True</property>
1192 <property name="can_focus">True</property>152 <property name="can_focus">True</property>
1193 <property name="receives_default">False</property>153 <property name="receives_default">False</property>
1194 <property name="use_underline">True</property>154 <property name="use_underline">True</property>
1195 <signal name="clicked" handler="on_button-close2_clicked"/>155 <signal name="clicked" handler="on_button-close2_clicked"/>
1196 </widget>156 </object>
1197 <packing>157 <packing>
1198 <property name="padding">2</property>158 <property name="padding">2</property>
1199 <property name="position">0</property>159 <property name="position">0</property>
1200 </packing>160 </packing>
1201 </child>161 </child>
1202 <child>162 <child>
1203 <widget class="GtkButton" id="button-cancel2">163 <object class="GtkButton" id="button-cancel2">
1204 <property name="label">gtk-cancel</property>164 <property name="label">gtk-cancel</property>
1205 <property name="visible">True</property>165 <property name="visible">True</property>
1206 <property name="can_focus">True</property>166 <property name="can_focus">True</property>
1207 <property name="receives_default">False</property>167 <property name="receives_default">False</property>
1208 <property name="use_stock">True</property>168 <property name="use_stock">True</property>
1209 <signal name="clicked" handler="on_button-cancel2_clicked"/>169 <signal name="clicked" handler="on_button-cancel2_clicked"/>
1210 </widget>170 </object>
1211 <packing>171 <packing>
1212 <property name="position">1</property>172 <property name="position">1</property>
1213 </packing>173 </packing>
1214 </child>174 </child>
1215 <child>175 <child>
1216 <widget class="GtkButton" id="button-save2">176 <object class="GtkButton" id="button-save2">
1217 <property name="label">gtk-save</property>177 <property name="label">gtk-save</property>
1218 <property name="visible">True</property>178 <property name="visible">True</property>
1219 <property name="can_focus">True</property>179 <property name="can_focus">True</property>
1220 <property name="receives_default">False</property>180 <property name="receives_default">False</property>
1221 <property name="use_stock">True</property>181 <property name="use_stock">True</property>
1222 <signal name="clicked" handler="on_button-save2_clicked"/>182 <signal name="clicked" handler="on_button-save2_clicked"/>
1223 </widget>183 </object>
1224 <packing>184 <packing>
1225 <property name="padding">2</property>185 <property name="padding">2</property>
1226 <property name="position">2</property>186 <property name="position">2</property>
1227 </packing>187 </packing>
1228 </child>188 </child>
1229 </widget>189 </object>
1230 <packing>190 <packing>
1231 <property name="expand">False</property>191 <property name="expand">False</property>
1232 <property name="padding">4</property>192 <property name="padding">4</property>
1233 <property name="position">1</property>193 <property name="position">1</property>
1234 </packing>194 </packing>
1235 </child>195 </child>
1236 </widget>196 </object>
1237 </child>197 </child>
1238 </widget>198 </object>
1239</glade-interface>199</interface>
1240200
=== added file 'PyRoom/preferences.glade'
--- PyRoom/preferences.glade 1970-01-01 00:00:00 +0000
+++ PyRoom/preferences.glade 2009-09-21 20:11:31 +0000
@@ -0,0 +1,1105 @@
1<?xml version="1.0"?>
2<interface>
3 <requires lib="gtk+" version="2.16"/>
4 <!-- interface-naming-policy project-wide -->
5 <object class="GtkDialog" id="dialog-preferences">
6 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
7 <property name="border_width">5</property>
8 <property name="title" translatable="yes">Pyroom Preferences</property>
9 <property name="resizable">False</property>
10 <property name="destroy_with_parent">True</property>
11 <property name="type_hint">dialog</property>
12 <property name="skip_taskbar_hint">True</property>
13 <property name="has_separator">False</property>
14 <signal name="delete_event" handler="on_close"/>
15 <child internal-child="vbox">
16 <object class="GtkVBox" id="dialog-vbox2">
17 <property name="visible">True</property>
18 <property name="spacing">2</property>
19 <child>
20 <object class="GtkNotebook" id="notebook1">
21 <property name="visible">True</property>
22 <property name="can_focus">True</property>
23 <child>
24 <object class="GtkVBox" id="generaltab">
25 <property name="visible">True</property>
26 <property name="border_width">12</property>
27 <property name="orientation">vertical</property>
28 <property name="spacing">18</property>
29 <child>
30 <object class="GtkVBox" id="vbox4">
31 <property name="visible">True</property>
32 <property name="orientation">vertical</property>
33 <property name="spacing">6</property>
34 <child>
35 <object class="GtkLabel" id="label1">
36 <property name="visible">True</property>
37 <property name="xalign">0</property>
38 <property name="label" translatable="yes">&lt;b&gt;Autosave&lt;/b&gt;</property>
39 <property name="use_markup">True</property>
40 </object>
41 <packing>
42 <property name="expand">False</property>
43 <property name="fill">False</property>
44 <property name="position">0</property>
45 </packing>
46 </child>
47 <child>
48 <object class="GtkHBox" id="hbox3">
49 <property name="visible">True</property>
50 <child>
51 <object class="GtkLabel" id="label4">
52 <property name="visible">True</property>
53 <property name="label"> </property>
54 </object>
55 <packing>
56 <property name="expand">False</property>
57 <property name="fill">False</property>
58 <property name="position">0</property>
59 </packing>
60 </child>
61 <child>
62 <object class="GtkHBox" id="hbox8">
63 <property name="visible">True</property>
64 <property name="spacing">6</property>
65 <child>
66 <object class="GtkCheckButton" id="autosavetext">
67 <property name="label" translatable="yes">Autosave files every </property>
68 <property name="visible">True</property>
69 <property name="can_focus">True</property>
70 <property name="receives_default">False</property>
71 <property name="use_underline">True</property>
72 <property name="draw_indicator">True</property>
73 </object>
74 <packing>
75 <property name="expand">False</property>
76 <property name="fill">False</property>
77 <property name="position">0</property>
78 </packing>
79 </child>
80 <child>
81 <object class="GtkSpinButton" id="autosavetime">
82 <property name="visible">True</property>
83 <property name="can_focus">True</property>
84 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
85 <property name="invisible_char">&#x25CF;</property>
86 <property name="adjustment">adjustment5</property>
87 <property name="climb_rate">1</property>
88 </object>
89 <packing>
90 <property name="expand">False</property>
91 <property name="fill">False</property>
92 <property name="position">1</property>
93 </packing>
94 </child>
95 <child>
96 <object class="GtkLabel" id="label2">
97 <property name="visible">True</property>
98 <property name="label" translatable="yes"> minutes.</property>
99 </object>
100 <packing>
101 <property name="expand">False</property>
102 <property name="fill">False</property>
103 <property name="position">2</property>
104 </packing>
105 </child>
106 </object>
107 <packing>
108 <property name="position">1</property>
109 </packing>
110 </child>
111 </object>
112 <packing>
113 <property name="expand">False</property>
114 <property name="fill">False</property>
115 <property name="position">1</property>
116 </packing>
117 </child>
118 </object>
119 <packing>
120 <property name="expand">False</property>
121 <property name="fill">False</property>
122 <property name="position">0</property>
123 </packing>
124 </child>
125 <child>
126 <object class="GtkVBox" id="vbox6">
127 <property name="visible">True</property>
128 <property name="orientation">vertical</property>
129 <property name="spacing">6</property>
130 <child>
131 <object class="GtkLabel" id="label10">
132 <property name="visible">True</property>
133 <property name="xalign">0</property>
134 <property name="label" translatable="yes">&lt;b&gt;Display&lt;/b&gt;</property>
135 <property name="use_markup">True</property>
136 </object>
137 <packing>
138 <property name="expand">False</property>
139 <property name="fill">False</property>
140 <property name="position">0</property>
141 </packing>
142 </child>
143 <child>
144 <object class="GtkHBox" id="hbox11">
145 <property name="visible">True</property>
146 <child>
147 <object class="GtkLabel" id="label16">
148 <property name="visible">True</property>
149 <property name="label"> </property>
150 </object>
151 <packing>
152 <property name="expand">False</property>
153 <property name="fill">False</property>
154 <property name="position">0</property>
155 </packing>
156 </child>
157 <child>
158 <object class="GtkCheckButton" id="showborder">
159 <property name="label" translatable="yes">Show border</property>
160 <property name="visible">True</property>
161 <property name="can_focus">True</property>
162 <property name="receives_default">False</property>
163 <property name="draw_indicator">True</property>
164 </object>
165 <packing>
166 <property name="position">1</property>
167 </packing>
168 </child>
169 </object>
170 <packing>
171 <property name="expand">False</property>
172 <property name="fill">False</property>
173 <property name="position">1</property>
174 </packing>
175 </child>
176 <child>
177 <object class="GtkHBox" id="hbox10">
178 <property name="visible">True</property>
179 <child>
180 <object class="GtkLabel" id="label14">
181 <property name="visible">True</property>
182 <property name="label"> </property>
183 </object>
184 <packing>
185 <property name="expand">False</property>
186 <property name="fill">False</property>
187 <property name="position">0</property>
188 </packing>
189 </child>
190 <child>
191 <object class="GtkLabel" id="label15">
192 <property name="visible">True</property>
193 <property name="label" translatable="yes">Modify line spacing (in pixels)</property>
194 </object>
195 <packing>
196 <property name="position">1</property>
197 </packing>
198 </child>
199 <child>
200 <object class="GtkSpinButton" id="linespacing">
201 <property name="visible">True</property>
202 <property name="can_focus">True</property>
203 <property name="invisible_char">&#x25CF;</property>
204 <property name="adjustment">adjustment4</property>
205 <property name="climb_rate">1</property>
206 </object>
207 <packing>
208 <property name="position">2</property>
209 </packing>
210 </child>
211 </object>
212 <packing>
213 <property name="expand">False</property>
214 <property name="fill">False</property>
215 <property name="position">2</property>
216 </packing>
217 </child>
218 <child>
219 <object class="GtkHBox" id="hbox16">
220 <property name="visible">True</property>
221 <child>
222 <object class="GtkLabel" id="label21">
223 <property name="visible">True</property>
224 <property name="label"> </property>
225 </object>
226 <packing>
227 <property name="expand">False</property>
228 <property name="position">0</property>
229 </packing>
230 </child>
231 <child>
232 <object class="GtkCheckButton" id="indent_check">
233 <property name="label" translatable="yes">Indent new paragraphs</property>
234 <property name="visible">True</property>
235 <property name="can_focus">True</property>
236 <property name="receives_default">False</property>
237 <property name="draw_indicator">True</property>
238 </object>
239 <packing>
240 <property name="position">1</property>
241 </packing>
242 </child>
243 </object>
244 <packing>
245 <property name="position">3</property>
246 </packing>
247 </child>
248 </object>
249 <packing>
250 <property name="position">1</property>
251 </packing>
252 </child>
253 <child>
254 <object class="GtkVBox" id="vbox2">
255 <property name="visible">True</property>
256 <property name="orientation">vertical</property>
257 <child>
258 <object class="GtkLabel" id="label3">
259 <property name="visible">True</property>
260 <property name="xalign">0</property>
261 <property name="label" translatable="yes">&lt;b&gt;Textbox orientation&lt;/b&gt;</property>
262 <property name="use_markup">True</property>
263 </object>
264 <packing>
265 <property name="expand">False</property>
266 <property name="fill">False</property>
267 <property name="position">0</property>
268 </packing>
269 </child>
270 <child>
271 <object class="GtkHBox" id="hbox1">
272 <property name="visible">True</property>
273 <child>
274 <object class="GtkLabel" id="label6">
275 <property name="visible">True</property>
276 <property name="label" translatable="yes"> </property>
277 </object>
278 <packing>
279 <property name="expand">False</property>
280 <property name="fill">False</property>
281 <property name="position">0</property>
282 </packing>
283 </child>
284 <child>
285 <object class="GtkRadioButton" id="orientation_center">
286 <property name="label" translatable="yes">Center of the screen</property>
287 <property name="visible">True</property>
288 <property name="can_focus">True</property>
289 <property name="receives_default">False</property>
290 <property name="active">True</property>
291 <property name="draw_indicator">True</property>
292 </object>
293 <packing>
294 <property name="position">1</property>
295 </packing>
296 </child>
297 </object>
298 <packing>
299 <property name="position">1</property>
300 </packing>
301 </child>
302 <child>
303 <object class="GtkHBox" id="hbox2">
304 <property name="visible">True</property>
305 <child>
306 <object class="GtkLabel" id="label23">
307 <property name="visible">True</property>
308 <property name="label" translatable="yes"> </property>
309 </object>
310 <packing>
311 <property name="expand">False</property>
312 <property name="fill">False</property>
313 <property name="position">0</property>
314 </packing>
315 </child>
316 <child>
317 <object class="GtkRadioButton" id="orientation_top">
318 <property name="label" translatable="yes">Top of the screen</property>
319 <property name="visible">True</property>
320 <property name="can_focus">True</property>
321 <property name="receives_default">False</property>
322 <property name="draw_indicator">True</property>
323 <property name="group">orientation_center</property>
324 </object>
325 <packing>
326 <property name="position">1</property>
327 </packing>
328 </child>
329 </object>
330 <packing>
331 <property name="position">2</property>
332 </packing>
333 </child>
334 </object>
335 <packing>
336 <property name="position">2</property>
337 </packing>
338 </child>
339 <child>
340 <object class="GtkVBox" id="vbox5">
341 <property name="visible">True</property>
342 <property name="orientation">vertical</property>
343 <child>
344 <object class="GtkLabel" id="label8">
345 <property name="visible">True</property>
346 <property name="xalign">0</property>
347 <property name="label" translatable="yes">&lt;b&gt;Text font&lt;/b&gt;</property>
348 <property name="use_markup">True</property>
349 </object>
350 <packing>
351 <property name="expand">False</property>
352 <property name="fill">False</property>
353 <property name="padding">1</property>
354 <property name="position">0</property>
355 </packing>
356 </child>
357 <child>
358 <object class="GtkHBox" id="hbox7">
359 <property name="visible">True</property>
360 <child>
361 <object class="GtkLabel" id="label13">
362 <property name="visible">True</property>
363 <property name="label"> </property>
364 </object>
365 <packing>
366 <property name="expand">False</property>
367 <property name="fill">False</property>
368 <property name="position">0</property>
369 </packing>
370 </child>
371 <child>
372 <object class="GtkRadioButton" id="radio_document_font">
373 <property name="label" translatable="yes">Default _document font</property>
374 <property name="visible">True</property>
375 <property name="sensitive">False</property>
376 <property name="can_focus">True</property>
377 <property name="receives_default">False</property>
378 <property name="use_underline">True</property>
379 <property name="active">True</property>
380 <property name="draw_indicator">True</property>
381 </object>
382 <packing>
383 <property name="position">1</property>
384 </packing>
385 </child>
386 </object>
387 <packing>
388 <property name="padding">2</property>
389 <property name="position">1</property>
390 </packing>
391 </child>
392 <child>
393 <object class="GtkHBox" id="hbox14">
394 <property name="visible">True</property>
395 <child>
396 <object class="GtkLabel" id="label19">
397 <property name="visible">True</property>
398 <property name="label"> </property>
399 </object>
400 <packing>
401 <property name="expand">False</property>
402 <property name="fill">False</property>
403 <property name="position">0</property>
404 </packing>
405 </child>
406 <child>
407 <object class="GtkRadioButton" id="radio_monospace_font">
408 <property name="label" translatable="yes">Default _monospace font</property>
409 <property name="visible">True</property>
410 <property name="sensitive">False</property>
411 <property name="can_focus">True</property>
412 <property name="receives_default">False</property>
413 <property name="use_underline">True</property>
414 <property name="draw_indicator">True</property>
415 <property name="group">radio_document_font</property>
416 </object>
417 <packing>
418 <property name="position">1</property>
419 </packing>
420 </child>
421 </object>
422 <packing>
423 <property name="padding">2</property>
424 <property name="position">2</property>
425 </packing>
426 </child>
427 <child>
428 <object class="GtkHBox" id="hbox15">
429 <property name="visible">True</property>
430 <child>
431 <object class="GtkLabel" id="label20">
432 <property name="visible">True</property>
433 <property name="label"> </property>
434 </object>
435 <packing>
436 <property name="expand">False</property>
437 <property name="fill">False</property>
438 <property name="position">0</property>
439 </packing>
440 </child>
441 <child>
442 <object class="GtkRadioButton" id="radio_custom_font">
443 <property name="label" translatable="yes">_Custom font</property>
444 <property name="visible">True</property>
445 <property name="can_focus">True</property>
446 <property name="receives_default">False</property>
447 <property name="use_underline">True</property>
448 <property name="draw_indicator">True</property>
449 <property name="group">radio_document_font</property>
450 </object>
451 <packing>
452 <property name="position">1</property>
453 </packing>
454 </child>
455 <child>
456 <object class="GtkFontButton" id="fontbutton1">
457 <property name="visible">True</property>
458 <property name="can_focus">True</property>
459 <property name="receives_default">True</property>
460 <property name="title" translatable="yes">Select a font</property>
461 </object>
462 <packing>
463 <property name="position">2</property>
464 </packing>
465 </child>
466 </object>
467 <packing>
468 <property name="padding">2</property>
469 <property name="position">3</property>
470 </packing>
471 </child>
472 </object>
473 <packing>
474 <property name="position">3</property>
475 </packing>
476 </child>
477 </object>
478 </child>
479 <child type="tab">
480 <object class="GtkLabel" id="viewlabel">
481 <property name="visible">True</property>
482 <property name="label" translatable="yes">General</property>
483 </object>
484 <packing>
485 <property name="tab_fill">False</property>
486 </packing>
487 </child>
488 <child>
489 <object class="GtkVBox" id="themetab">
490 <property name="visible">True</property>
491 <property name="orientation">vertical</property>
492 <property name="spacing">8</property>
493 <child>
494 <object class="GtkLabel" id="label5">
495 <property name="visible">True</property>
496 <property name="label" translatable="yes">&lt;b&gt;Themes&lt;/b&gt;</property>
497 <property name="use_markup">True</property>
498 <property name="width_chars">0</property>
499 </object>
500 <packing>
501 <property name="padding">8</property>
502 <property name="position">0</property>
503 </packing>
504 </child>
505 <child>
506 <object class="GtkHBox" id="hbox4">
507 <property name="visible">True</property>
508 <child>
509 <object class="GtkLabel" id="label7">
510 <property name="visible">True</property>
511 <property name="label"> </property>
512 </object>
513 <packing>
514 <property name="expand">False</property>
515 <property name="fill">False</property>
516 <property name="position">0</property>
517 </packing>
518 </child>
519 <child>
520 <object class="GtkTable" id="table2">
521 <property name="visible">True</property>
522 <property name="n_columns">3</property>
523 <child>
524 <object class="GtkLabel" id="presetslabel">
525 <property name="visible">True</property>
526 <property name="label" translatable="yes">Presets:</property>
527 <property name="justify">center</property>
528 </object>
529 <packing>
530 <property name="y_options"></property>
531 </packing>
532 </child>
533 <child>
534 <object class="GtkComboBox" id="presetscombobox">
535 <property name="visible">True</property>
536 <property name="model">liststore1</property>
537 <child>
538 <object class="GtkCellRendererText" id="cellrenderertext1"/>
539 <attributes>
540 <attribute name="text">0</attribute>
541 </attributes>
542 </child>
543 </object>
544 <packing>
545 <property name="left_attach">1</property>
546 <property name="right_attach">2</property>
547 <property name="y_options"></property>
548 </packing>
549 </child>
550 <child>
551 <object class="GtkButton" id="save_custom_theme">
552 <property name="label" translatable="yes">_Save</property>
553 <property name="visible">True</property>
554 <property name="sensitive">False</property>
555 <property name="can_focus">True</property>
556 <property name="receives_default">True</property>
557 <property name="use_underline">True</property>
558 </object>
559 <packing>
560 <property name="left_attach">2</property>
561 <property name="right_attach">3</property>
562 </packing>
563 </child>
564 </object>
565 <packing>
566 <property name="position">1</property>
567 </packing>
568 </child>
569 <child>
570 <object class="GtkLabel" id="label9">
571 <property name="visible">True</property>
572 <property name="label"> </property>
573 </object>
574 <packing>
575 <property name="expand">False</property>
576 <property name="fill">False</property>
577 <property name="position">2</property>
578 </packing>
579 </child>
580 </object>
581 <packing>
582 <property name="position">1</property>
583 </packing>
584 </child>
585 <child>
586 <object class="GtkHSeparator" id="hseparator1">
587 <property name="visible">True</property>
588 </object>
589 <packing>
590 <property name="expand">False</property>
591 <property name="position">2</property>
592 </packing>
593 </child>
594 <child>
595 <object class="GtkHBox" id="hbox9">
596 <property name="visible">True</property>
597 <child>
598 <object class="GtkTable" id="table1">
599 <property name="visible">True</property>
600 <property name="n_rows">7</property>
601 <property name="n_columns">2</property>
602 <property name="column_spacing">6</property>
603 <property name="homogeneous">True</property>
604 <child>
605 <object class="GtkColorButton" id="textboxbgbutton">
606 <property name="visible">True</property>
607 <property name="can_focus">True</property>
608 <property name="receives_default">True</property>
609 <property name="color">#000000000000</property>
610 </object>
611 <packing>
612 <property name="left_attach">1</property>
613 <property name="right_attach">2</property>
614 <property name="top_attach">2</property>
615 <property name="bottom_attach">3</property>
616 </packing>
617 </child>
618 <child>
619 <object class="GtkColorButton" id="bgbutton">
620 <property name="visible">True</property>
621 <property name="can_focus">True</property>
622 <property name="receives_default">True</property>
623 <property name="use_alpha">True</property>
624 <property name="color">#000000000000</property>
625 </object>
626 <packing>
627 <property name="left_attach">1</property>
628 <property name="right_attach">2</property>
629 </packing>
630 </child>
631 <child>
632 <object class="GtkColorButton" id="borderbutton">
633 <property name="visible">True</property>
634 <property name="can_focus">True</property>
635 <property name="receives_default">True</property>
636 <property name="use_alpha">True</property>
637 <property name="color">#000000000000</property>
638 </object>
639 <packing>
640 <property name="left_attach">1</property>
641 <property name="right_attach">2</property>
642 <property name="top_attach">1</property>
643 <property name="bottom_attach">2</property>
644 </packing>
645 </child>
646 <child>
647 <object class="GtkColorButton" id="colorbutton">
648 <property name="visible">True</property>
649 <property name="can_focus">True</property>
650 <property name="receives_default">True</property>
651 <property name="use_alpha">True</property>
652 <property name="color">#000000000000</property>
653 <signal name="color_set" handler="on_colorbutton1_color_set"/>
654 </object>
655 <packing>
656 <property name="left_attach">1</property>
657 <property name="right_attach">2</property>
658 <property name="top_attach">3</property>
659 <property name="bottom_attach">4</property>
660 </packing>
661 </child>
662 <child>
663 <object class="GtkHBox" id="hbox12">
664 <property name="visible">True</property>
665 <child>
666 <object class="GtkSpinButton" id="heighttext">
667 <property name="visible">True</property>
668 <property name="can_focus">True</property>
669 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
670 <property name="invisible_char">&#x25CF;</property>
671 <property name="adjustment">adjustment3</property>
672 <property name="climb_rate">1</property>
673 </object>
674 <packing>
675 <property name="position">0</property>
676 </packing>
677 </child>
678 <child>
679 <object class="GtkLabel" id="label18">
680 <property name="visible">True</property>
681 <property name="label" translatable="yes">%</property>
682 <property name="width_chars">2</property>
683 </object>
684 <packing>
685 <property name="expand">False</property>
686 <property name="fill">False</property>
687 <property name="position">1</property>
688 </packing>
689 </child>
690 </object>
691 <packing>
692 <property name="left_attach">1</property>
693 <property name="right_attach">2</property>
694 <property name="top_attach">4</property>
695 <property name="bottom_attach">5</property>
696 </packing>
697 </child>
698 <child>
699 <object class="GtkHBox" id="hbox13">
700 <property name="visible">True</property>
701 <child>
702 <object class="GtkSpinButton" id="widthtext">
703 <property name="visible">True</property>
704 <property name="can_focus">True</property>
705 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
706 <property name="invisible_char">&#x25CF;</property>
707 <property name="adjustment">adjustment2</property>
708 <property name="climb_rate">1</property>
709 </object>
710 <packing>
711 <property name="position">0</property>
712 </packing>
713 </child>
714 <child>
715 <object class="GtkLabel" id="label22">
716 <property name="visible">True</property>
717 <property name="label" translatable="yes">%</property>
718 <property name="width_chars">3</property>
719 </object>
720 <packing>
721 <property name="expand">False</property>
722 <property name="fill">False</property>
723 <property name="position">1</property>
724 </packing>
725 </child>
726 </object>
727 <packing>
728 <property name="left_attach">1</property>
729 <property name="right_attach">2</property>
730 <property name="top_attach">5</property>
731 <property name="bottom_attach">6</property>
732 </packing>
733 </child>
734 <child>
735 <object class="GtkHBox" id="hbox17">
736 <property name="visible">True</property>
737 <child>
738 <placeholder/>
739 </child>
740 <child>
741 <object class="GtkLabel" id="bglabel">
742 <property name="visible">True</property>
743 <property name="label" translatable="yes">Background color:</property>
744 <property name="use_underline">True</property>
745 <property name="justify">center</property>
746 <property name="mnemonic_widget">bgbutton</property>
747 </object>
748 <packing>
749 <property name="expand">False</property>
750 <property name="fill">False</property>
751 <property name="pack_type">end</property>
752 <property name="position">1</property>
753 </packing>
754 </child>
755 </object>
756 <packing>
757 <property name="y_options"></property>
758 </packing>
759 </child>
760 <child>
761 <object class="GtkHBox" id="hbox18">
762 <property name="visible">True</property>
763 <child>
764 <placeholder/>
765 </child>
766 <child>
767 <object class="GtkLabel" id="borderlabel">
768 <property name="visible">True</property>
769 <property name="label" translatable="yes">Border color:</property>
770 <property name="justify">center</property>
771 </object>
772 <packing>
773 <property name="expand">False</property>
774 <property name="fill">False</property>
775 <property name="pack_type">end</property>
776 <property name="position">1</property>
777 </packing>
778 </child>
779 </object>
780 <packing>
781 <property name="top_attach">1</property>
782 <property name="bottom_attach">2</property>
783 <property name="y_options"></property>
784 </packing>
785 </child>
786 <child>
787 <object class="GtkHBox" id="hbox19">
788 <property name="visible">True</property>
789 <child>
790 <placeholder/>
791 </child>
792 <child>
793 <object class="GtkLabel" id="textboxbackground">
794 <property name="visible">True</property>
795 <property name="label" translatable="yes">Textbox background:</property>
796 <property name="justify">center</property>
797 </object>
798 <packing>
799 <property name="expand">False</property>
800 <property name="fill">False</property>
801 <property name="pack_type">end</property>
802 <property name="position">1</property>
803 </packing>
804 </child>
805 </object>
806 <packing>
807 <property name="top_attach">2</property>
808 <property name="bottom_attach">3</property>
809 <property name="y_options"></property>
810 </packing>
811 </child>
812 <child>
813 <object class="GtkHBox" id="hbox20">
814 <property name="visible">True</property>
815 <child>
816 <placeholder/>
817 </child>
818 <child>
819 <object class="GtkLabel" id="colorlabel">
820 <property name="visible">True</property>
821 <property name="label" translatable="yes">Text color:</property>
822 <property name="justify">center</property>
823 </object>
824 <packing>
825 <property name="expand">False</property>
826 <property name="fill">False</property>
827 <property name="pack_type">end</property>
828 <property name="position">1</property>
829 </packing>
830 </child>
831 </object>
832 <packing>
833 <property name="top_attach">3</property>
834 <property name="bottom_attach">4</property>
835 <property name="y_options"></property>
836 </packing>
837 </child>
838 <child>
839 <object class="GtkHBox" id="hbox21">
840 <property name="visible">True</property>
841 <child>
842 <placeholder/>
843 </child>
844 <child>
845 <object class="GtkLabel" id="heightlabel">
846 <property name="visible">True</property>
847 <property name="label" translatable="yes">Height:</property>
848 </object>
849 <packing>
850 <property name="expand">False</property>
851 <property name="fill">False</property>
852 <property name="pack_type">end</property>
853 <property name="position">1</property>
854 </packing>
855 </child>
856 </object>
857 <packing>
858 <property name="top_attach">4</property>
859 <property name="bottom_attach">5</property>
860 <property name="y_options"></property>
861 </packing>
862 </child>
863 <child>
864 <object class="GtkHBox" id="hbox22">
865 <property name="visible">True</property>
866 <child>
867 <placeholder/>
868 </child>
869 <child>
870 <object class="GtkLabel" id="widthlabel">
871 <property name="visible">True</property>
872 <property name="label" translatable="yes">Width:</property>
873 <property name="justify">center</property>
874 </object>
875 <packing>
876 <property name="expand">False</property>
877 <property name="fill">False</property>
878 <property name="pack_type">end</property>
879 <property name="position">1</property>
880 </packing>
881 </child>
882 </object>
883 <packing>
884 <property name="top_attach">5</property>
885 <property name="bottom_attach">6</property>
886 <property name="y_options"></property>
887 </packing>
888 </child>
889 <child>
890 <object class="GtkHBox" id="hbox23">
891 <property name="visible">True</property>
892 <child>
893 <placeholder/>
894 </child>
895 <child>
896 <object class="GtkLabel" id="paddinglabel">
897 <property name="visible">True</property>
898 <property name="label" translatable="yes">Padding:</property>
899 <property name="justify">center</property>
900 </object>
901 <packing>
902 <property name="expand">False</property>
903 <property name="fill">False</property>
904 <property name="pack_type">end</property>
905 <property name="position">1</property>
906 </packing>
907 </child>
908 </object>
909 <packing>
910 <property name="top_attach">6</property>
911 <property name="bottom_attach">7</property>
912 <property name="y_options"></property>
913 </packing>
914 </child>
915 <child>
916 <object class="GtkHBox" id="hbox24">
917 <property name="visible">True</property>
918 <child>
919 <object class="GtkSpinButton" id="paddingtext">
920 <property name="visible">True</property>
921 <property name="can_focus">True</property>
922 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
923 <property name="invisible_char">&#x25CF;</property>
924 <property name="adjustment">adjustment1</property>
925 <property name="climb_rate">1</property>
926 </object>
927 <packing>
928 <property name="position">0</property>
929 </packing>
930 </child>
931 <child>
932 <object class="GtkLabel" id="label17">
933 <property name="visible">True</property>
934 <property name="label" translatable="yes">px</property>
935 <property name="width_chars">3</property>
936 </object>
937 <packing>
938 <property name="expand">False</property>
939 <property name="fill">False</property>
940 <property name="position">1</property>
941 </packing>
942 </child>
943 </object>
944 <packing>
945 <property name="left_attach">1</property>
946 <property name="right_attach">2</property>
947 <property name="top_attach">6</property>
948 <property name="bottom_attach">7</property>
949 </packing>
950 </child>
951 </object>
952 <packing>
953 <property name="position">0</property>
954 </packing>
955 </child>
956 <child>
957 <object class="GtkVBox" id="vbox1">
958 <property name="visible">True</property>
959 <property name="orientation">vertical</property>
960 <child>
961 <object class="GtkLabel" id="label12">
962 <property name="visible">True</property>
963 <property name="label"> </property>
964 </object>
965 <packing>
966 <property name="expand">False</property>
967 <property name="fill">False</property>
968 <property name="position">0</property>
969 </packing>
970 </child>
971 </object>
972 <packing>
973 <property name="expand">False</property>
974 <property name="fill">False</property>
975 <property name="position">1</property>
976 </packing>
977 </child>
978 </object>
979 <packing>
980 <property name="position">3</property>
981 </packing>
982 </child>
983 <child>
984 <object class="GtkLabel" id="label11">
985 <property name="height_request">1</property>
986 <property name="visible">True</property>
987 <property name="xalign">0.0099999997764825821</property>
988 <property name="yalign">0.0099999997764825821</property>
989 <property name="label"> </property>
990 </object>
991 <packing>
992 <property name="expand">False</property>
993 <property name="fill">False</property>
994 <property name="position">4</property>
995 </packing>
996 </child>
997 </object>
998 <packing>
999 <property name="position">1</property>
1000 </packing>
1001 </child>
1002 <child type="tab">
1003 <object class="GtkLabel" id="themelabel">
1004 <property name="visible">True</property>
1005 <property name="label" translatable="yes">Theme</property>
1006 </object>
1007 <packing>
1008 <property name="position">1</property>
1009 <property name="tab_fill">False</property>
1010 </packing>
1011 </child>
1012 </object>
1013 <packing>
1014 <property name="position">1</property>
1015 </packing>
1016 </child>
1017 <child internal-child="action_area">
1018 <object class="GtkHButtonBox" id="dialog-action_area2">
1019 <property name="visible">True</property>
1020 <property name="layout_style">end</property>
1021 <child>
1022 <object class="GtkButton" id="button-close">
1023 <property name="label">gtk-cancel</property>
1024 <property name="visible">True</property>
1025 <property name="can_focus">True</property>
1026 <property name="receives_default">True</property>
1027 <property name="use_stock">True</property>
1028 <signal name="clicked" handler="on_button-close_clicked"/>
1029 </object>
1030 <packing>
1031 <property name="expand">False</property>
1032 <property name="fill">False</property>
1033 <property name="position">0</property>
1034 </packing>
1035 </child>
1036 <child>
1037 <object class="GtkButton" id="button-ok">
1038 <property name="label">gtk-ok</property>
1039 <property name="visible">True</property>
1040 <property name="can_focus">True</property>
1041 <property name="receives_default">True</property>
1042 <property name="use_stock">True</property>
1043 <signal name="clicked" handler="on_button-ok_clicked"/>
1044 <signal name="activate" handler="on_button-ok_activate"/>
1045 </object>
1046 <packing>
1047 <property name="expand">False</property>
1048 <property name="fill">False</property>
1049 <property name="position">1</property>
1050 </packing>
1051 </child>
1052 </object>
1053 <packing>
1054 <property name="expand">False</property>
1055 <property name="pack_type">end</property>
1056 <property name="position">0</property>
1057 </packing>
1058 </child>
1059 </object>
1060 </child>
1061 <action-widgets>
1062 <action-widget response="0">button-close</action-widget>
1063 <action-widget response="0">button-ok</action-widget>
1064 </action-widgets>
1065 </object>
1066 <object class="GtkListStore" id="liststore1">
1067 <columns>
1068 <!-- column-name item -->
1069 <column type="gchararray"/>
1070 </columns>
1071 <data>
1072 <row>
1073 <col id="0" translatable="yes">Custom</col>
1074 </row>
1075 </data>
1076 </object>
1077 <object class="GtkAdjustment" id="adjustment5">
1078 <property name="lower">1</property>
1079 <property name="upper">100</property>
1080 <property name="step_increment">1</property>
1081 <property name="page_increment">10</property>
1082 </object>
1083 <object class="GtkAdjustment" id="adjustment4">
1084 <property name="upper">100</property>
1085 <property name="step_increment">1</property>
1086 <property name="page_increment">10</property>
1087 </object>
1088 <object class="GtkAdjustment" id="adjustment3">
1089 <property name="lower">5</property>
1090 <property name="upper">95</property>
1091 <property name="step_increment">1</property>
1092 <property name="page_increment">10</property>
1093 </object>
1094 <object class="GtkAdjustment" id="adjustment2">
1095 <property name="lower">5</property>
1096 <property name="upper">95</property>
1097 <property name="step_increment">1</property>
1098 <property name="page_increment">10</property>
1099 </object>
1100 <object class="GtkAdjustment" id="adjustment1">
1101 <property name="upper">100</property>
1102 <property name="step_increment">1</property>
1103 <property name="page_increment">10</property>
1104 </object>
1105</interface>
01106
=== modified file 'PyRoom/preferences.py'
--- PyRoom/preferences.py 2009-09-04 08:14:37 +0000
+++ PyRoom/preferences.py 2009-09-21 20:29:17 +0000
@@ -27,7 +27,6 @@
27"""27"""
2828
29import gtk29import gtk
30import gtk.glade
31import os30import os
3231
33from gui import Theme32from gui import Theme
@@ -38,41 +37,41 @@
38class Preferences(object):37class Preferences(object):
39 """our main preferences object, to be passed around where needed"""38 """our main preferences object, to be passed around where needed"""
40 def __init__(self):39 def __init__(self):
41 self.wTree = gtk.glade.XML(os.path.join(40 gladefile = os.path.join(state['absolute_path'], "preferences.glade")
42 state['absolute_path'], "interface.glade"),41 builder = gtk.Builder()
43 "dialog-preferences")42 builder.add_from_file(gladefile)
4443
45 # Defining widgets needed44 # Defining widgets needed
46 self.window = self.wTree.get_widget("dialog-preferences")45 self.window = builder.get_object("dialog-preferences")
47 self.colorpreference = self.wTree.get_widget("colorbutton")46 self.colorpreference = builder.get_object("colorbutton")
48 self.textboxbgpreference = self.wTree.get_widget("textboxbgbutton")47 self.textboxbgpreference = builder.get_object("textboxbgbutton")
49 self.bgpreference = self.wTree.get_widget("bgbutton")48 self.bgpreference = builder.get_object("bgbutton")
50 self.borderpreference = self.wTree.get_widget("borderbutton")49 self.borderpreference = builder.get_object("borderbutton")
51 self.paddingpreference = self.wTree.get_widget("paddingtext")50 self.paddingpreference = builder.get_object("paddingtext")
52 self.heightpreference = self.wTree.get_widget("heighttext")51 self.heightpreference = builder.get_object("heighttext")
53 self.heightpreference.set_range(5, 95)52 self.heightpreference.set_range(5, 95)
54 self.widthpreference = self.wTree.get_widget("widthtext")53 self.widthpreference = builder.get_object("widthtext")
55 self.widthpreference.set_range(5, 95)54 self.widthpreference.set_range(5, 95)
56 self.presetscombobox = self.wTree.get_widget("presetscombobox")55 self.presetscombobox = builder.get_object("presetscombobox")
57 self.showborderbutton = self.wTree.get_widget("showborder")56 self.showborderbutton = builder.get_object("showborder")
58 self.autosave = self.wTree.get_widget("autosavetext")57 self.autosave = builder.get_object("autosavetext")
59 self.autosave_spinbutton = self.wTree.get_widget("autosavetime")58 self.autosave_spinbutton = builder.get_object("autosavetime")
60 self.linespacing_spinbutton = self.wTree.get_widget("linespacing")59 self.linespacing_spinbutton = builder.get_object("linespacing")
61 self.indent_check = self.wTree.get_widget("indent_check")60 self.indent_check = builder.get_object("indent_check")
62 if config.get('visual', 'indent') == '1':61 if config.get('visual', 'indent') == '1':
63 self.indent_check.set_active(True)62 self.indent_check.set_active(True)
64 self.save_custom_button = self.wTree.get_widget("save_custom_theme")63 self.save_custom_button = builder.get_object("save_custom_theme")
65 self.custom_font_preference = self.wTree.get_widget("fontbutton1")64 self.custom_font_preference = builder.get_object("fontbutton1")
66 if not config.get('visual', 'use_font_type') == 'custom':65 if not config.get('visual', 'use_font_type') == 'custom':
67 self.custom_font_preference.set_sensitive(False)66 self.custom_font_preference.set_sensitive(False)
68 self.font_radios = {67 self.font_radios = {
69 'document':self.wTree.get_widget("radio_document_font"),68 'document':builder.get_object("radio_document_font"),
70 'monospace':self.wTree.get_widget("radio_monospace_font"),69 'monospace':builder.get_object("radio_monospace_font"),
71 'custom':self.wTree.get_widget("radio_custom_font")70 'custom':builder.get_object("radio_custom_font")
72 }71 }
73 self.orientation_radios = {72 self.orientation_radios = {
74 'top':self.wTree.get_widget('orientation_top'),73 'top':builder.get_object('orientation_top'),
75 'center':self.wTree.get_widget('orientation_center'),74 'center':builder.get_object('orientation_center'),
76 }75 }
77 for widget in self.font_radios.values():76 for widget in self.font_radios.values():
78 if not widget.get_name() == 'radio_custom_font':77 if not widget.get_name() == 'radio_custom_font':
@@ -131,7 +130,8 @@
131 "on_button-close_clicked": self.kill_preferences,130 "on_button-close_clicked": self.kill_preferences,
132 "on_close": self.kill_preferences131 "on_close": self.kill_preferences
133 }132 }
134 self.wTree.signal_autoconnect(dic)133 builder.connect_signals(dic)
134
135 self.showborderbutton.connect('toggled', self.toggleborder)135 self.showborderbutton.connect('toggled', self.toggleborder)
136 self.autosave.connect('toggled', self.toggleautosave)136 self.autosave.connect('toggled', self.toggleautosave)
137 self.autosave_spinbutton.connect('value-changed', self.toggleautosave)137 self.autosave_spinbutton.connect('value-changed', self.toggleautosave)
@@ -309,7 +309,7 @@
309309
310 def show(self):310 def show(self):
311 """display the preferences dialog"""311 """display the preferences dialog"""
312 self.dlg = self.wTree.get_widget("dialog-preferences")312 self.dlg = self.window
313 self.dlg.show()313 self.dlg.show()
314314
315 def toggle_indent(self, widget):315 def toggle_indent(self, widget):

Subscribers

People subscribed via source and target branches

to status/vote changes: