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