Mercurial Repositories > eric / file comparison
comparison: UI/UserInterface.py
UI/UserInterface.py
- changeset 4216
- bca19a75be32
- parent 4197
- 43199b5d5cfe
- child 4392
- 7ce50a66cff0
equal
deleted
inserted
replaced
| 4214:b8fd47f8b707 | 4216:bca19a75be32 |
|---|---|
| 575 # set spellchecker defaults | 575 # set spellchecker defaults |
| 576 from QScintilla.SpellChecker import SpellChecker | 576 from QScintilla.SpellChecker import SpellChecker |
| 577 SpellChecker.setDefaultLanguage( | 577 SpellChecker.setDefaultLanguage( |
| 578 Preferences.getEditor("SpellCheckingDefaultLanguage")) | 578 Preferences.getEditor("SpellCheckingDefaultLanguage")) |
| 579 | 579 |
| 580 # attribute for the last shown configuration page | 580 # attributes for the last shown configuration page and the |
| 581 # extended configuration entries | |
| 581 self.__lastConfigurationPageName = "" | 582 self.__lastConfigurationPageName = "" |
| 583 self.__expandedConfigurationEntries = [] | |
| 582 | 584 |
| 583 def __createLayout(self, debugServer): | 585 def __createLayout(self, debugServer): |
| 584 """ | 586 """ |
| 585 Private method to create the layout of the various windows. | 587 Private method to create the layout of the various windows. |
| 586 | 588 |
| 5202 Public slot to set the preferences. | 5204 Public slot to set the preferences. |
| 5203 | 5205 |
| 5204 @param pageName name of the configuration page to show (string) | 5206 @param pageName name of the configuration page to show (string) |
| 5205 """ | 5207 """ |
| 5206 from Preferences.ConfigurationDialog import ConfigurationDialog | 5208 from Preferences.ConfigurationDialog import ConfigurationDialog |
| 5207 dlg = ConfigurationDialog(self, 'Configuration') | 5209 dlg = ConfigurationDialog( |
| 5210 self, 'Configuration', | |
| 5211 expandedEntries=self.__expandedConfigurationEntries, | |
| 5212 ) | |
| 5208 dlg.preferencesChanged.connect(self.__preferencesChanged) | 5213 dlg.preferencesChanged.connect(self.__preferencesChanged) |
| 5209 dlg.masterPasswordChanged.connect(self.__masterPasswordChanged) | 5214 dlg.masterPasswordChanged.connect(self.__masterPasswordChanged) |
| 5210 dlg.show() | 5215 dlg.show() |
| 5211 if pageName is not None: | 5216 if pageName is not None: |
| 5212 dlg.showConfigurationPageByName(pageName) | 5217 dlg.showConfigurationPageByName(pageName) |
| 5219 if dlg.result() == QDialog.Accepted: | 5224 if dlg.result() == QDialog.Accepted: |
| 5220 dlg.setPreferences() | 5225 dlg.setPreferences() |
| 5221 Preferences.syncPreferences() | 5226 Preferences.syncPreferences() |
| 5222 self.__preferencesChanged() | 5227 self.__preferencesChanged() |
| 5223 self.__lastConfigurationPageName = dlg.getConfigurationPageName() | 5228 self.__lastConfigurationPageName = dlg.getConfigurationPageName() |
| 5229 self.__expandedConfigurationEntries = dlg.getExpandedEntries() | |
| 5224 | 5230 |
| 5225 def __exportPreferences(self): | 5231 def __exportPreferences(self): |
| 5226 """ | 5232 """ |
| 5227 Private slot to export the current preferences. | 5233 Private slot to export the current preferences. |
| 5228 """ | 5234 """ |
