repair damage: canceling the "save options" dialog now works again.
diff --git a/Mac/Tools/IDE/PyEdit.py b/Mac/Tools/IDE/PyEdit.py
index 07b7277..91a7ab1 100644
--- a/Mac/Tools/IDE/PyEdit.py
+++ b/Mac/Tools/IDE/PyEdit.py
@@ -315,11 +315,10 @@
self.editgroup.editor.settabsettings(tabsettings)
def domenu_options(self, *args):
- rvcreator, rveoln = SaveOptions(self._creator, self._eoln)
- if rvcreator != self._creator or rveoln != self._eoln:
+ rv = SaveOptions(self._creator, self._eoln)
+ if rv:
self.editgroup.editor.selectionchanged() # ouch...
- self._creator = rvcreator
- self._eoln = rveoln
+ self._creator, self._eoln = rv
def clicklinefield(self):
if self._currentwidget <> self.linefield: