diff -r 2ff6078532c0 -r f31960634997 UI/UserInterface.py --- a/UI/UserInterface.py Sun Oct 15 17:21:51 2017 +0200 +++ b/UI/UserInterface.py Sun Oct 15 19:40:26 2017 +0200 @@ -455,6 +455,8 @@ self.preferencesChanged.connect(self.cooperation.preferencesChanged) self.preferencesChanged.connect( self.backgroundService.preferencesOrProjectChanged) + self.preferencesChanged.connect( + self.codeDocumentationViewer.preferencesChanged) self.viewmanager.editorSaved.connect(self.project.repopulateItem) self.viewmanager.lastEditorClosed.connect(self.__lastEditorClosed)