248 # clear QScintilla defined keyboard commands |
248 # clear QScintilla defined keyboard commands |
249 # we do our own handling through the view manager |
249 # we do our own handling through the view manager |
250 self.clearAlternateKeys() |
250 self.clearAlternateKeys() |
251 self.clearKeys() |
251 self.clearKeys() |
252 |
252 |
|
253 self.__markerMap = EditorMarkerMap(self) |
|
254 |
253 # initialize the mark occurrences timer |
255 # initialize the mark occurrences timer |
254 self.__markOccurrencesTimer = QTimer(self) |
256 self.__markOccurrencesTimer = QTimer(self) |
255 self.__markOccurrencesTimer.setSingleShot(True) |
257 self.__markOccurrencesTimer.setSingleShot(True) |
256 self.__markOccurrencesTimer.setInterval( |
258 self.__markOccurrencesTimer.setInterval( |
257 Preferences.getEditor("MarkOccurrencesTimeout")) |
259 Preferences.getEditor("MarkOccurrencesTimeout")) |
327 |
329 |
328 self.changeMarkersMask = ( |
330 self.changeMarkersMask = ( |
329 (1 << self.__changeMarkerSaved) | |
331 (1 << self.__changeMarkerSaved) | |
330 (1 << self.__changeMarkerUnsaved) |
332 (1 << self.__changeMarkerUnsaved) |
331 ) |
333 ) |
332 |
|
333 self.__markerMap = EditorMarkerMap(self) |
|
334 |
334 |
335 # configure the margins |
335 # configure the margins |
336 self.__setMarginsDisplay() |
336 self.__setMarginsDisplay() |
337 self.linesChanged.connect(self.__resizeLinenoMargin) |
337 self.linesChanged.connect(self.__resizeLinenoMargin) |
338 |
338 |