UI/UserInterface.py

changeset 6300
cfb21ace8d09
parent 6296
db9b3a419845
child 6319
df201b9fbad4
child 6337
c6af560e0039
equal deleted inserted replaced
6299:feb3cf2cbde3 6300:cfb21ace8d09
635 # restore toolbar manager state 635 # restore toolbar manager state
636 splash.showMessage(self.tr("Restoring Toolbarmanager...")) 636 splash.showMessage(self.tr("Restoring Toolbarmanager..."))
637 self.toolbarManager.restoreState( 637 self.toolbarManager.restoreState(
638 Preferences.getUI("ToolbarManagerState")) 638 Preferences.getUI("ToolbarManagerState"))
639 639
640 # finalize the initialization of the code documentation viewer
641 self.codeDocumentationViewer.finalizeSetup()
642
640 # now activate the initial view profile 643 # now activate the initial view profile
641 splash.showMessage(self.tr("Setting View Profile...")) 644 splash.showMessage(self.tr("Setting View Profile..."))
642 self.__setEditProfile() 645 self.__setEditProfile()
643 646
644 # now read the saved tasks 647 # now read the saved tasks
677 680
678 # set the keyboard input interval 681 # set the keyboard input interval
679 interval = Preferences.getUI("KeyboardInputInterval") 682 interval = Preferences.getUI("KeyboardInputInterval")
680 if interval > 0: 683 if interval > 0:
681 QApplication.setKeyboardInputInterval(interval) 684 QApplication.setKeyboardInputInterval(interval)
682
683 # finalize the initialization of the code documentation viewer
684 self.codeDocumentationViewer.finalizeSetup()
685 685
686 def __createLayout(self, debugServer): 686 def __createLayout(self, debugServer):
687 """ 687 """
688 Private method to create the layout of the various windows. 688 Private method to create the layout of the various windows.
689 689

eric ide

mercurial