Revision 299
| trunk/gummi/IOFunctions.py (revision 299) | ||
|---|---|---|
| 53 | 53 |
env = self.return_envfiles() |
| 54 | 54 |
self.motion.update_envfiles(env) |
| 55 | 55 |
self.motion.initial_preview() |
| 56 |
#if self.config.get_bool("autosaving"):
|
|
| 57 |
# self.reset_autosave() |
|
| 56 |
if self.config.get_value("editor", "autosaving"):
|
|
| 57 |
self.reset_autosave() |
|
| 58 | 58 |
|
| 59 | 59 |
def create_envfiles(self, filename): |
| 60 | 60 |
if filename is not None: |
| ... | ... | |
| 89 | 89 |
def save_file(self, filename): |
| 90 | 90 |
try: |
| 91 | 91 |
content = self.editorpane.grab_buffer() |
| 92 |
self.editorpane.editorviewer.grab_focus() |
|
| 92 | 93 |
encoded = self.editorpane.encode_text(content) |
| 93 | 94 |
self.set_status("Saving file " + self.filename)
|
| 94 | 95 |
fout = open(self.filename, "w") |
| ... | ... | |
| 113 | 114 |
|
| 114 | 115 |
def reset_autosave(self): |
| 115 | 116 |
self.stop_autosave() |
| 116 |
self.start_autosave(self.config.get_int("autosave_timer"))
|
|
| 117 |
time = int(self.config.get_value("editor", "autosave_timer"))
|
|
| 118 |
self.start_autosave(time) |
|
| 117 | 119 |
|
| 118 | 120 |
def autosave_document(self): |
| 119 | 121 |
if self.filename is not None: |
| trunk/gummi/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