UI/UserInterface.py

changeset 6300
cfb21ace8d09
parent 6296
db9b3a419845
child 6319
df201b9fbad4
child 6337
c6af560e0039
--- a/UI/UserInterface.py	Sat May 19 17:56:11 2018 +0200
+++ b/UI/UserInterface.py	Sun May 20 14:17:45 2018 +0200
@@ -637,6 +637,9 @@
         self.toolbarManager.restoreState(
             Preferences.getUI("ToolbarManagerState"))
         
+        # finalize the initialization of the code documentation viewer
+        self.codeDocumentationViewer.finalizeSetup()
+        
         # now activate the initial view profile
         splash.showMessage(self.tr("Setting View Profile..."))
         self.__setEditProfile()
@@ -680,9 +683,6 @@
         if interval > 0:
             QApplication.setKeyboardInputInterval(interval)
         
-        # finalize the initialization of the code documentation viewer
-        self.codeDocumentationViewer.finalizeSetup()
-        
     def __createLayout(self, debugServer):
         """
         Private method to create the layout of the various windows.

eric ide

mercurial