Editor: moved the creation of the marker map object.

Tue, 04 Feb 2020 18:34:37 +0100

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Tue, 04 Feb 2020 18:34:37 +0100
changeset 7393
e83e0ba6b90d
parent 7388
e4f3948920a6
child 7395
dd50d0f4c588

Editor: moved the creation of the marker map object.

eric6/QScintilla/Editor.py file | annotate | diff | comparison | revisions
--- a/eric6/QScintilla/Editor.py	Sun Feb 02 14:55:11 2020 +0100
+++ b/eric6/QScintilla/Editor.py	Tue Feb 04 18:34:37 2020 +0100
@@ -250,6 +250,8 @@
         self.clearAlternateKeys()
         self.clearKeys()
         
+        self.__markerMap = EditorMarkerMap(self)
+        
         # initialize the mark occurrences timer
         self.__markOccurrencesTimer = QTimer(self)
         self.__markOccurrencesTimer.setSingleShot(True)
@@ -330,8 +332,6 @@
             (1 << self.__changeMarkerUnsaved)
         )
         
-        self.__markerMap = EditorMarkerMap(self)
-        
         # configure the margins
         self.__setMarginsDisplay()
         self.linesChanged.connect(self.__resizeLinenoMargin)

eric ide

mercurial