QScintilla/Editor.py

changeset 6278
13fd8759f981
parent 6247
5c677a7f7d51
child 6285
045dc4c38701
equal deleted inserted replaced
6277:e22952cec018 6278:13fd8759f981
4221 "OnlineChangeTraceMarkerSaved"), self.__changeMarkerSaved) 4221 "OnlineChangeTraceMarkerSaved"), self.__changeMarkerSaved)
4222 4222
4223 # refresh the annotations display 4223 # refresh the annotations display
4224 self.__refreshAnnotations() 4224 self.__refreshAnnotations()
4225 4225
4226 self.__markerMap.setMapPosition(
4227 Preferences.getEditor("ShowMarkerMapOnRight"))
4226 self.__markerMap.initColors() 4228 self.__markerMap.initColors()
4227 4229
4228 self.settingsRead.emit() 4230 self.settingsRead.emit()
4229 4231
4230 def __setLineMarkerColours(self): 4232 def __setLineMarkerColours(self):

eric ide

mercurial