Sun, 18 Jul 2021 12:23:03 +0200
Editor: fixed an issue causing in endless loop when a split editor was shown and editor settings (or any other) was changed. Should fix issue397 as well.
(grafted from 7a2678e255289e76a419ed886da0d986705d691f)
eric7/QScintilla/Editor.py | file | annotate | diff | comparison | revisions |
--- a/eric7/QScintilla/Editor.py Sat Jul 17 15:45:34 2021 +0200 +++ b/eric7/QScintilla/Editor.py Sun Jul 18 12:23:03 2021 +0200 @@ -4430,7 +4430,7 @@ Preferences.getEditor("ShowMarkerMapOnRight")) self.__markerMap.initColors() - self.setLanguage(self.fileName) + self.setLanguage(self.fileName, propagate=False) self.settingsRead.emit()