DebugUI: fixed an issue causing a changed file not being saved before it is run/debugged/... eric7

Wed, 10 Aug 2022 19:32:28 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Wed, 10 Aug 2022 19:32:28 +0200
branch
eric7
changeset 9285
d697b03e3bcc
parent 9284
3b3a4f659782
child 9286
f6f950e4c8f0

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

eric ide

mercurial