Mercurial Repositories > eric / file diff

--- a/src/eric7/MicroPython/MicroPythonFileManagerWidget.py	Tue Feb 14 10:05:29 2023 +0100
+++ b/src/eric7/MicroPython/MicroPythonFileManagerWidget.py	Tue Feb 14 11:09:49 2023 +0100
@@ -715,6 +715,7 @@
                 saveAs = True
         else:
             saveAs = True
+            filename = ""
 
         if saveAs:
             filename, ok = QInputDialog.getText(
@@ -727,6 +728,12 @@
             if not ok or not filename:
                 return
 
+        if not saveAs:
+            # check editor and selected file names for an implicit 'save as'
+            editorFileName = os.path.basename(aw.getFileName().replace("device:", ""))
+            if editorFileName != filename:
+                saveAs = True
+
         if saveAs and self.__isFileInList(filename, self.deviceFileTreeWidget):
             # ask for overwrite permission
             action, resultFilename = confirmOverwrite(