Tue, 24 Sep 2013 18:57:33 +0200
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): """