eric6/QScintilla/Editor.py

changeset 7347
1afdabb901dc
parent 7339
5e4d36f56085
child 7360
9190402e4505
equal deleted inserted replaced
7346:9108d26211f7 7347:1afdabb901dc
261 261
262 # initialize some spellchecking stuff 262 # initialize some spellchecking stuff
263 self.spell = None 263 self.spell = None
264 self.lastLine = 0 264 self.lastLine = 0
265 self.lastIndex = 0 265 self.lastIndex = 0
266 self.__inSpellLanguageChanged = False
266 267
267 # initialize some cooperation stuff 268 # initialize some cooperation stuff
268 self.__isSyncing = False 269 self.__isSyncing = False
269 self.__receivedWhileSyncing = [] 270 self.__receivedWhileSyncing = []
270 self.__savedText = "" 271 self.__savedText = ""

eric ide

mercurial