eric6/UI/UserInterface.py

changeset 7705
90a9aefd4253
parent 7704
9251c4dc4f7a
child 7707
6abcf4275d0e
diff -r 9251c4dc4f7a -r 90a9aefd4253 eric6/UI/UserInterface.py
--- a/eric6/UI/UserInterface.py	Sat Sep 19 19:04:21 2020 +0200
+++ b/eric6/UI/UserInterface.py	Sun Sep 20 18:32:28 2020 +0200
@@ -486,6 +486,8 @@
         self.preferencesChanged.connect(
             self.backgroundService.preferencesOrProjectChanged)
         self.preferencesChanged.connect(self.__previewer.preferencesChanged)
+        self.preferencesChanged.connect(self.__astViewer.preferencesChanged)
+        self.preferencesChanged.connect(self.__disViewer.preferencesChanged)
         
         if self.browser is not None:
             self.browser.sourceFile[str].connect(

eric ide

mercurial