483 self.preferencesChanged.connect(self.pluginManager.preferencesChanged) |
483 self.preferencesChanged.connect(self.pluginManager.preferencesChanged) |
484 self.preferencesChanged.connect(debugServer.preferencesChanged) |
484 self.preferencesChanged.connect(debugServer.preferencesChanged) |
485 self.preferencesChanged.connect(self.debugViewer.preferencesChanged) |
485 self.preferencesChanged.connect(self.debugViewer.preferencesChanged) |
486 self.preferencesChanged.connect( |
486 self.preferencesChanged.connect( |
487 self.backgroundService.preferencesOrProjectChanged) |
487 self.backgroundService.preferencesOrProjectChanged) |
|
488 self.preferencesChanged.connect(self.__previewer.preferencesChanged) |
488 |
489 |
489 if self.browser is not None: |
490 if self.browser is not None: |
490 self.browser.sourceFile[str].connect( |
491 self.browser.sourceFile[str].connect( |
491 self.viewmanager.openSourceFile) |
492 self.viewmanager.openSourceFile) |
492 self.browser.sourceFile[str, int].connect( |
493 self.browser.sourceFile[str, int].connect( |