QScintilla/Editor.py

changeset 826
2e3e2055e715
parent 825
9cdec3c5bc07
child 832
eb5ff61f927b
equal deleted inserted replaced
825:9cdec3c5bc07 826:2e3e2055e715
5961 self.setReadOnly(True) 5961 self.setReadOnly(True)
5962 5962
5963 self.setCursorPosition(*cur) 5963 self.setCursorPosition(*cur)
5964 5964
5965 while self.__receivedWhileSyncing: 5965 while self.__receivedWhileSyncing:
5966 command = self.__receivedWhileSyncing.pop(0) 5966 command = self.__receivedWhileSyncing.pop(0)
5967 self.__dispatchCommand(command) 5967 self.__dispatchCommand(command)
5968 5968
5969 self.__isSyncing = False 5969 self.__isSyncing = False

eric ide

mercurial