ViewManager/ViewManager.py

changeset 3019
7912530a33e2
parent 3013
fe886b7f8f40
child 3020
542e97d4ecb3
equal deleted inserted replaced
3018:70924c0bdaf1 3019:7912530a33e2
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()

eric ide

mercurial