UI/UserInterface.py

changeset 5905
f31960634997
parent 5900
cd90bfdc1247
child 5913
7ab2293917f8
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)

eric ide

mercurial