6225 if aw: |
6225 if aw: |
6226 aw.newLineBelow() |
6226 aw.newLineBelow() |
6227 |
6227 |
6228 def __editorConfigChanged(self): |
6228 def __editorConfigChanged(self): |
6229 """ |
6229 """ |
6230 Private slot to handle changes of an editor's configuration (e.g. |
6230 Private slot to handle changes of an editor's configuration. |
6231 language). |
|
6232 """ |
6231 """ |
6233 editor = self.sender() |
6232 editor = self.sender() |
6234 fn = editor.getFileName() |
6233 fn = editor.getFileName() |
6235 line, pos = editor.getCursorPosition() |
6234 line, pos = editor.getCursorPosition() |
6236 enc = editor.getEncoding() |
6235 enc = editor.getEncoding() |