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.

Sun, 18 Jul 2021 12:23:03 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Sun, 18 Jul 2021 12:23:03 +0200
changeset 8470
7a2678e25528
parent 8461
d9fb4a0f2460
child 8472
52e96cd0730d

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()
     

eric ide

mercurial