Wed, 10 Aug 2022 19:32:28 +0200
DebugUI: fixed an issue causing a changed file not being saved before it is run/debugged/...
src/eric7/Debugger/DebugUI.py | file | annotate | diff | comparison | revisions |
diff -r 3b3a4f659782 -r d697b03e3bcc src/eric7/Debugger/DebugUI.py --- a/src/eric7/Debugger/DebugUI.py Mon Aug 08 16:29:40 2022 +0200 +++ b/src/eric7/Debugger/DebugUI.py Wed Aug 10 19:32:28 2022 +0200 @@ -2014,6 +2014,11 @@ if scriptName: fn = scriptName self.clientType = "Python3" + editor = self.viewmanager.getOpenEditor(scriptName) + if editor and not self.viewmanager.checkDirty( + editor, Preferences.getDebugger("Autosave") + ): + return else: # run current editor editor = self.viewmanager.activeWindow() @@ -2210,6 +2215,11 @@ if scriptName: fn = scriptName self.clientType = "Python3" + editor = self.viewmanager.getOpenEditor(scriptName) + if editor and not self.viewmanager.checkDirty( + editor, Preferences.getDebugger("Autosave") + ): + return else: # run current editor editor = self.viewmanager.activeWindow() @@ -2401,6 +2411,11 @@ if scriptName: fn = scriptName self.clientType = "Python3" + editor = self.viewmanager.getOpenEditor(scriptName) + if editor and not self.viewmanager.checkDirty( + editor, Preferences.getDebugger("Autosave") + ): + return else: # run current editor editor = self.viewmanager.activeWindow() @@ -2602,6 +2617,11 @@ if scriptName: fn = scriptName self.clientType = "Python3" + editor = self.viewmanager.getOpenEditor(scriptName) + if editor and not self.viewmanager.checkDirty( + editor, Preferences.getDebugger("Autosave") + ): + return else: # debug current editor editor = self.viewmanager.activeWindow()