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(