Revision 299 trunk/gummi/GummiGUI.py
| GummiGUI.py (revision 299) | ||
|---|---|---|
| 277 | 277 |
self.editorpane.set_buffer_changed() |
| 278 | 278 |
|
| 279 | 279 |
def on_menu_preferences_activate(self, menuitem, data=None): |
| 280 |
prefsgui = PrefsGUI(self.config, self.editorpane, self.path, self.mainwindow) |
|
| 280 |
prefsgui = PrefsGUI(self.config, self.editorpane, self.path, self.mainwindow, self.iofunc) |
|
| 281 | 281 |
|
| 282 | 282 |
def on_menu_update_activate(self, menuitem, data=None): |
| 283 | 283 |
update = UpdateCheck.UpdateCheck() |
| ... | ... | |
| 446 | 446 |
|
| 447 | 447 |
class PrefsGUI: |
| 448 | 448 |
|
| 449 |
def __init__(self, config, editorpane, path, mainwindow): |
|
| 449 |
def __init__(self, config, editorpane, path, mainwindow, iofunc): |
|
| 450 | 450 |
self.config = config |
| 451 | 451 |
self.editorpane = editorpane |
| 452 |
self.iofunc = iofunc |
|
| 452 | 453 |
builder = gtk.Builder() |
| 453 | 454 |
builder.add_from_file(path + "/gui/prefs.glade") |
| 454 | 455 |
|
| ... | ... | |
| 522 | 523 |
self.config.set_value('editor', widget.get_name(), value)
|
| 523 | 524 |
if widget.get_active(): |
| 524 | 525 |
self.autosave_timer.set_sensitive(True) |
| 525 |
self.autosave_timer.set_value(10) |
|
| 526 |
time = int(self.config.get_value("editor", "autosave_timer"))
|
|
| 527 |
self.autosave_timer.set_value(time/60) |
|
| 528 |
self.iofunc.start_autosave(time) |
|
| 526 | 529 |
else: |
| 527 |
self.autosave_timer.set_sensitive(False) |
|
| 530 |
self.autosave_timer.set_sensitive(False) |
|
| 531 |
self.iofunc.stop_autosave() |
|
| 528 | 532 |
|
| 529 | 533 |
def on_autosave_value_changed(self, event): |
| 530 | 534 |
newvalue = int(event.get_value()) * 60 |
| 531 | 535 |
self.config.set_value('editor', 'autosave_timer', newvalue)
|
| 536 |
self.iofunc.reset_autosave() |
|
| 532 | 537 |
|
| 533 | 538 |
def on_editor_font_set(self, widget): |
| 534 | 539 |
selected = widget.get_font_name() |
Also available in: Unified diff