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 self.preferencesChanged.connect(self.__previewer.preferencesChanged) |
|
489 self.preferencesChanged.connect(self.__astViewer.preferencesChanged) |
|
490 self.preferencesChanged.connect(self.__disViewer.preferencesChanged) |
489 |
491 |
490 if self.browser is not None: |
492 if self.browser is not None: |
491 self.browser.sourceFile[str].connect( |
493 self.browser.sourceFile[str].connect( |
492 self.viewmanager.openSourceFile) |
494 self.viewmanager.openSourceFile) |
493 self.browser.sourceFile[str, int].connect( |
495 self.browser.sourceFile[str, int].connect( |