eric6/UI/UserInterface.py

changeset 7705
90a9aefd4253
parent 7704
9251c4dc4f7a
child 7707
6abcf4275d0e
equal deleted inserted replaced
7704:9251c4dc4f7a 7705:90a9aefd4253
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(

eric ide

mercurial