Mercurial Repositories > eric / file comparison
comparison: UI/UserInterface.py
UI/UserInterface.py
- changeset 934
- 657269549914
- parent 927
- 7671dd6c35ce
- child 945
- 8cd4d08fa9f6
equal
deleted
inserted
replaced
| 932:efd23a913a09 | 934:657269549914 |
|---|---|
| 576 self.__versionCheckProgress = None | 576 self.__versionCheckProgress = None |
| 577 | 577 |
| 578 # set spellchecker defaults | 578 # set spellchecker defaults |
| 579 SpellChecker.setDefaultLanguage( | 579 SpellChecker.setDefaultLanguage( |
| 580 Preferences.getEditor("SpellCheckingDefaultLanguage")) | 580 Preferences.getEditor("SpellCheckingDefaultLanguage")) |
| 581 | |
| 582 # attribute for the last shown configuration page | |
| 583 self.__lastConfigurationPageName = "" | |
| 581 | 584 |
| 582 def __setStyle(self): | 585 def __setStyle(self): |
| 583 """ | 586 """ |
| 584 Private slot to set the style of the interface. | 587 Private slot to set the style of the interface. |
| 585 """ | 588 """ |
| 4883 dlg = ConfigurationDialog(self, 'Configuration', True) | 4886 dlg = ConfigurationDialog(self, 'Configuration', True) |
| 4884 dlg.preferencesChanged.connect(self.__preferencesChanged) | 4887 dlg.preferencesChanged.connect(self.__preferencesChanged) |
| 4885 dlg.show() | 4888 dlg.show() |
| 4886 if pageName is not None: | 4889 if pageName is not None: |
| 4887 dlg.showConfigurationPageByName(pageName) | 4890 dlg.showConfigurationPageByName(pageName) |
| 4891 elif self.__lastConfigurationPageName: | |
| 4892 dlg.showConfigurationPageByName(self.__lastConfigurationPageName) | |
| 4888 else: | 4893 else: |
| 4889 dlg.showConfigurationPageByName("empty") | 4894 dlg.showConfigurationPageByName("empty") |
| 4890 dlg.exec_() | 4895 dlg.exec_() |
| 4891 QApplication.processEvents() | 4896 QApplication.processEvents() |
| 4892 if dlg.result() == QDialog.Accepted: | 4897 if dlg.result() == QDialog.Accepted: |
| 4893 dlg.setPreferences() | 4898 dlg.setPreferences() |
| 4894 Preferences.syncPreferences() | 4899 Preferences.syncPreferences() |
| 4895 self.__preferencesChanged() | 4900 self.__preferencesChanged() |
| 4901 self.__lastConfigurationPageName = dlg.getConfigurationPageName() | |
| 4896 | 4902 |
| 4897 def __exportPreferences(self): | 4903 def __exportPreferences(self): |
| 4898 """ | 4904 """ |
| 4899 Private slot to export the current preferences. | 4905 Private slot to export the current preferences. |
| 4900 """ | 4906 """ |
