Fixed issues in the view manager and the user interface. 5_3_x

Tue, 24 Sep 2013 18:57:33 +0200

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Tue, 24 Sep 2013 18:57:33 +0200
branch
5_3_x
changeset 2932
1cf0eb73b52d
parent 2931
552d5934c6f6
child 2941
9bd47580bdbf

Fixed issues in the view manager and the user interface.

UI/UserInterface.py file | annotate | diff | comparison | revisions
ViewManager/ViewManager.py file | annotate | diff | comparison | revisions
--- a/UI/UserInterface.py	Tue Sep 24 18:32:18 2013 +0200
+++ b/UI/UserInterface.py	Tue Sep 24 18:57:33 2013 +0200
@@ -296,8 +296,6 @@
         
         # now setup the connections
         splash.showMessage(self.trUtf8("Setting up connections..."))
-        app.focusChanged.connect(
-            self.viewmanager.appFocusChanged)
         self.browser.sourceFile[str].connect(
             self.viewmanager.openSourceFile)
         self.browser.sourceFile[str, int].connect(
@@ -505,7 +503,10 @@
         splash.showMessage(self.trUtf8("Initializing Statusbar..."))
         self.__initStatusbar()
         
-        # Initialise the instance variables.
+        # connect the appFocusChanged signal after all actions are ready
+        app.focusChanged.connect(self.viewmanager.appFocusChanged)
+        
+        # Initialize the instance variables.
         self.currentProg = None
         self.isProg = False
         self.utEditorOpen = False
--- a/ViewManager/ViewManager.py	Tue Sep 24 18:32:18 2013 +0200
+++ b/ViewManager/ViewManager.py	Tue Sep 24 18:57:33 2013 +0200
@@ -5522,8 +5522,8 @@
             self.autosaveTimer.stop()
         
         # hide search and replace widgets
-        self.__searchWidget.hide()
-        self.__replaceWidget.hide()
+        self.searchDlg.hide()
+        self.replaceDlg.hide()
         
     def __editorOpened(self):
         """

eric ide

mercurial