src/eric7/ViewManager/ViewManager.py

branch
eric7
changeset 10388
a34ce7f42e8b
parent 10379
6f27d7bcfe56
child 10389
b432544fe075
--- a/src/eric7/ViewManager/ViewManager.py	Wed Dec 06 14:20:35 2023 +0100
+++ b/src/eric7/ViewManager/ViewManager.py	Wed Dec 06 14:23:36 2023 +0100
@@ -5391,7 +5391,9 @@
                         "ViewManager",
                         """<p>The file <b>{0}</b> has unsaved changes.</p>""",
                     ).format(fn),
-                    editor.saveFile if not editor.isRemoteFile() else None,
+                    editor.saveFile
+                    if not FileSystemUtilities.isRemoteFileName(editor.getFileName())
+                    else None,
                 )
             if res:
                 self.setEditorName(editor, editor.getFileName())
@@ -7492,7 +7494,10 @@
             (boolean)
         """
         if editor is not None:
-            self.saveAct.setEnabled(editor.isModified() and not editor.isRemoteFile())
+            self.saveAct.setEnabled(
+                editor.isModified()
+                and not FileSystemUtilities.isRemoteFileName(editor.getFileName())
+            )
             self.revertAct.setEnabled(editor.isModified())
 
             self.undoAct.setEnabled(editor.isUndoAvailable())

eric ide

mercurial