QScintilla/Editor.py

changeset 3341
7c015811fc4d
parent 3329
1ee38e29ed4f
child 3393
080ace4829b4
--- a/QScintilla/Editor.py	Thu Mar 06 19:17:30 2014 +0100
+++ b/QScintilla/Editor.py	Fri Mar 07 19:13:06 2014 +0100
@@ -3967,6 +3967,8 @@
         
         # refresh the annotations display
         self.__refreshAnnotations()
+        
+        self.__markerMap.initColors()
     
     def __setLineMarkerColours(self):
         """

eric ide

mercurial