QScintilla/Editor.py

changeset 6278
13fd8759f981
parent 6247
5c677a7f7d51
child 6285
045dc4c38701
--- a/QScintilla/Editor.py	Sun May 06 15:23:02 2018 +0200
+++ b/QScintilla/Editor.py	Mon May 07 19:32:49 2018 +0200
@@ -4223,6 +4223,8 @@
         # refresh the annotations display
         self.__refreshAnnotations()
         
+        self.__markerMap.setMapPosition(
+            Preferences.getEditor("ShowMarkerMapOnRight"))
         self.__markerMap.initColors()
         
         self.settingsRead.emit()

eric ide

mercurial