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.
eric6/QScintilla/Editor.py | file | annotate | diff | comparison | revisions |
--- a/eric6/QScintilla/Editor.py Sat Jul 10 16:35:26 2021 +0200 +++ b/eric6/QScintilla/Editor.py Sun Jul 18 12:23:03 2021 +0200 @@ -4440,7 +4440,7 @@ Preferences.getEditor("ShowMarkerMapOnRight")) self.__markerMap.initColors() - self.setLanguage(self.fileName) + self.setLanguage(self.fileName, propagate=False) self.settingsRead.emit()