5540 QCoreApplication.translate("ViewManager", "File Modified"), |
5540 QCoreApplication.translate("ViewManager", "File Modified"), |
5541 QCoreApplication.translate( |
5541 QCoreApplication.translate( |
5542 "ViewManager", |
5542 "ViewManager", |
5543 """<p>The file <b>{0}</b> has unsaved changes.</p>""", |
5543 """<p>The file <b>{0}</b> has unsaved changes.</p>""", |
5544 ).format(fn), |
5544 ).format(fn), |
5545 editor.saveFile |
5545 ( |
5546 if not FileSystemUtilities.isRemoteFileName(editor.getFileName()) |
5546 editor.saveFile |
5547 else None, |
5547 if not FileSystemUtilities.isRemoteFileName( |
|
5548 editor.getFileName() |
|
5549 ) |
|
5550 else None |
|
5551 ), |
5548 ) |
5552 ) |
5549 if res: |
5553 if res: |
5550 self.setEditorName(editor, editor.getFileName()) |
5554 self.setEditorName(editor, editor.getFileName()) |
5551 return res |
5555 return res |
5552 |
5556 |