diff -r b7aef103355a -r 080e060a0383 src/eric7/ViewManager/ViewManager.py
--- a/src/eric7/ViewManager/ViewManager.py Mon Mar 06 11:39:26 2023 +0100
+++ b/src/eric7/ViewManager/ViewManager.py Mon Mar 06 16:13:42 2023 +0100
@@ -5402,7 +5402,7 @@
"ViewManager",
"""<p>The file <b>{0}</b> has unsaved changes.</p>""",
).format(fn),
- editor.saveFile if editor.isLocalFile() else None,
+ editor.saveFile if not editor.isRemoteFile() else None,
)
if res:
self.setEditorName(editor, editor.getFileName())
@@ -7525,7 +7525,7 @@
(boolean)
"""
if editor is not None:
- self.saveAct.setEnabled(editor.isModified() and editor.isLocalFile())
+ self.saveAct.setEnabled(editor.isModified() and not editor.isRemoteFile())
self.revertAct.setEnabled(editor.isModified())
self.undoAct.setEnabled(editor.isUndoAvailable())
