--- 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()