src/eric7/MicroPython/MicroPythonFileManagerWidget.py

branch
eric7
changeset 10388
a34ce7f42e8b
parent 10236
c270c9501f1c
child 10428
a071d4065202
--- a/src/eric7/MicroPython/MicroPythonFileManagerWidget.py	Wed Dec 06 14:20:35 2023 +0100
+++ b/src/eric7/MicroPython/MicroPythonFileManagerWidget.py	Wed Dec 06 14:23:36 2023 +0100
@@ -27,6 +27,7 @@
 from eric7.EricWidgets.EricApplication import ericApp
 from eric7.EricWidgets.EricFileSaveConfirmDialog import confirmOverwrite
 from eric7.EricWidgets.EricPathPicker import EricPathPickerModes
+from eric7.SystemUtilities import FileSystemUtilities
 from eric7.UI.DeleteFilesConfirmationDialog import DeleteFilesConfirmationDialog
 
 from .MicroPythonFileSystemUtilities import (
@@ -175,7 +176,7 @@
         dirname = ""
         vm = ericApp().getObject("ViewManager")
         aw = vm.activeWindow()
-        if aw and aw.isLocalFile():
+        if aw and FileSystemUtilities.isPlainFileName(aw.getFileName()):
             dirname = os.path.dirname(aw.getFileName())
         if not dirname:
             dirname = (
@@ -410,7 +411,7 @@
                 try:
                     text = data.decode(encoding="utf-8")
                     ericApp().getObject("ViewManager").newEditorWithText(
-                        text, fileName="device:{0}".format(name)
+                        text, fileName=FileSystemUtilities.deviceFileName(name)
                     )
                 except UnicodeDecodeError:
                     EricMessageBox.warning(
@@ -732,7 +733,7 @@
                     data = self.__fileManager.getData(name)
                     text = data.decode(encoding="utf-8")
                     ericApp().getObject("ViewManager").newEditorWithText(
-                        text, "Python3", "device:{0}".format(name)
+                        text, "Python3", FileSystemUtilities.deviceFileName(name)
                     )
 
     @pyqtSlot()
@@ -769,7 +770,9 @@
 
         if not saveAs:
             # check editor and selected file names for an implicit 'save as'
-            editorFileName = os.path.basename(aw.getFileName().replace("device:", ""))
+            editorFileName = os.path.basename(
+                FileSystemUtilities.plainFileName(aw.getFileName())
+            )
             if editorFileName != filename:
                 saveAs = True
 
@@ -807,7 +810,7 @@
             dirname = filename.rsplit("/", 1)[0]
             self.__fileManager.makedirs(dirname)
             self.__fileManager.putData(filename, text.encode("utf-8"))
-            aw.setFileName("device:" + filename)
+            aw.setFileName(FileSystemUtilities.deviceFileName(filename))
 
         aw.setModified(False)
         aw.resetOnlineChangeTraceInfo()

eric ide

mercurial