453 self.preferencesChanged.connect(debugServer.preferencesChanged) |
453 self.preferencesChanged.connect(debugServer.preferencesChanged) |
454 self.preferencesChanged.connect(self.debugViewer.preferencesChanged) |
454 self.preferencesChanged.connect(self.debugViewer.preferencesChanged) |
455 self.preferencesChanged.connect(self.cooperation.preferencesChanged) |
455 self.preferencesChanged.connect(self.cooperation.preferencesChanged) |
456 self.preferencesChanged.connect( |
456 self.preferencesChanged.connect( |
457 self.backgroundService.preferencesOrProjectChanged) |
457 self.backgroundService.preferencesOrProjectChanged) |
|
458 self.preferencesChanged.connect( |
|
459 self.codeDocumentationViewer.preferencesChanged) |
458 |
460 |
459 self.viewmanager.editorSaved.connect(self.project.repopulateItem) |
461 self.viewmanager.editorSaved.connect(self.project.repopulateItem) |
460 self.viewmanager.lastEditorClosed.connect(self.__lastEditorClosed) |
462 self.viewmanager.lastEditorClosed.connect(self.__lastEditorClosed) |
461 self.viewmanager.editorOpened.connect(self.__editorOpened) |
463 self.viewmanager.editorOpened.connect(self.__editorOpened) |
462 self.viewmanager.changeCaption.connect(self.__setWindowCaption) |
464 self.viewmanager.changeCaption.connect(self.__setWindowCaption) |