Commit ca3d3072 authored by Just van Rossum's avatar Just van Rossum

repair damage: canceling the "save options" dialog now works again.

parent 8bb61c8d
...@@ -315,11 +315,10 @@ class Editor(W.Window): ...@@ -315,11 +315,10 @@ class Editor(W.Window):
self.editgroup.editor.settabsettings(tabsettings) self.editgroup.editor.settabsettings(tabsettings)
def domenu_options(self, *args): def domenu_options(self, *args):
rvcreator, rveoln = SaveOptions(self._creator, self._eoln) rv = SaveOptions(self._creator, self._eoln)
if rvcreator != self._creator or rveoln != self._eoln: if rv:
self.editgroup.editor.selectionchanged() # ouch... self.editgroup.editor.selectionchanged() # ouch...
self._creator = rvcreator self._creator, self._eoln = rv
self._eoln = rveoln
def clicklinefield(self): def clicklinefield(self):
if self._currentwidget <> self.linefield: if self._currentwidget <> self.linefield:
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment