UI/UserInterface.py

changeset 934
657269549914
parent 927
7671dd6c35ce
child 945
8cd4d08fa9f6
--- a/UI/UserInterface.py	Fri Mar 04 19:12:07 2011 +0100
+++ b/UI/UserInterface.py	Fri Mar 04 20:03:47 2011 +0100
@@ -579,6 +579,9 @@
         SpellChecker.setDefaultLanguage(
             Preferences.getEditor("SpellCheckingDefaultLanguage"))
         
+        # attribute for the last shown configuration page
+        self.__lastConfigurationPageName = ""
+        
     def __setStyle(self):
         """
         Private slot to set the style of the interface.
@@ -4885,6 +4888,8 @@
         dlg.show()
         if pageName is not None:
             dlg.showConfigurationPageByName(pageName)
+        elif self.__lastConfigurationPageName:
+            dlg.showConfigurationPageByName(self.__lastConfigurationPageName)
         else:
             dlg.showConfigurationPageByName("empty")
         dlg.exec_()
@@ -4893,6 +4898,7 @@
             dlg.setPreferences()
             Preferences.syncPreferences()
             self.__preferencesChanged()
+        self.__lastConfigurationPageName = dlg.getConfigurationPageName()
         
     def __exportPreferences(self):
         """

eric ide

mercurial