3999 fn = editor.getNoName() |
3999 fn = editor.getNoName() |
4000 autosave = False |
4000 autosave = False |
4001 if autosave: |
4001 if autosave: |
4002 res = editor.saveFile() |
4002 res = editor.saveFile() |
4003 else: |
4003 else: |
4004 res = E5MessageBox.okToClearData(self.ui, |
4004 res = E5MessageBox.okToClearData( |
|
4005 self.ui, |
4005 QApplication.translate('ViewManager', "File Modified"), |
4006 QApplication.translate('ViewManager', "File Modified"), |
4006 QApplication.translate('ViewManager', |
4007 QApplication.translate('ViewManager', |
4007 """<p>The file <b>{0}</b> has unsaved changes.</p>""") |
4008 """<p>The file <b>{0}</b> has unsaved changes.</p>""") |
4008 .format(fn), |
4009 .format(fn), |
4009 editor.saveFile) |
4010 editor.saveFile) |
6227 if aw: |
6228 if aw: |
6228 aw.newLineBelow() |
6229 aw.newLineBelow() |
6229 |
6230 |
6230 def __editorConfigChanged(self): |
6231 def __editorConfigChanged(self): |
6231 """ |
6232 """ |
6232 Private slot to handle changes of an editor's configuration (e.g. |
6233 Private slot to handle changes of an editor's configuration. |
6233 language). |
|
6234 """ |
6234 """ |
6235 editor = self.sender() |
6235 editor = self.sender() |
6236 fn = editor.getFileName() |
6236 fn = editor.getFileName() |
6237 line, pos = editor.getCursorPosition() |
6237 line, pos = editor.getCursorPosition() |
6238 enc = editor.getEncoding() |
6238 enc = editor.getEncoding() |