UI/UserInterface.py

changeset 5905
f31960634997
parent 5900
cd90bfdc1247
child 5913
7ab2293917f8
equal deleted inserted replaced
5904:2ff6078532c0 5905:f31960634997
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)

eric ide

mercurial