src/eric7/ViewManager/ViewManager.py

branch
eric7
changeset 9853
080e060a0383
parent 9825
d657c9bc8cb0
child 9938
b8005dd4fc9b
--- 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())

eric ide

mercurial