src/eric7/Debugger/DebugUI.py

branch
eric7
changeset 9285
d697b03e3bcc
parent 9221
bf71ee032bb4
child 9291
7b271bcd12d0
--- 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()

eric ide

mercurial