Changeset 275dac79437c…
Parent 07c8d1e56b87…
by
Changes to one file · Browse files at 275dac79437c Showing diff from parent 07c8d1e56b87 Diff from another changeset...
@@ -276,6 +276,10 @@ self._pull_update = gtk.CheckMenuItem("Update to new tip")
menu.append(self._pull_update)
+ # restore states from previous session
+ st = self._settings.get_value('_pull_update_state', False)
+ self._pull_update.set_active(st)
+
menu.show_all()
return menu
@@ -311,18 +315,24 @@ dialog.destroy()
def _close_clicked(self, toolbutton, data=None):
- if threading.activeCount() != 1:
- error_dialog(self, "Can't close now", "command is running")
- else:
- gtk.main_quit()
-
- def _delete(self, widget, event):
+ self._do_close()
+
+ def _do_close(self):
if threading.activeCount() != 1:
error_dialog(self, "Can't close now", "command is running")
return True
else:
+ self._save_settings()
gtk.main_quit()
-
+
+ def _save_settings(self):
+ self._settings.set_value('_pull_update_state',
+ self._pull_update.get_active())
+ self._settings.write()
+
+ def _delete(self, widget, event):
+ self._do_close()
+
def _toolbutton(self, stock, label, handler,
menu=None, userdata=None, tip=None):
if menu:
|
Loading...