104 self.fromEric = fromEric |
104 self.fromEric = fromEric |
105 self.initShortcutsOnly = initShortcutsOnly |
105 self.initShortcutsOnly = initShortcutsOnly |
106 self.setWindowIcon(UI.PixmapCache.getIcon("eric.png")) |
106 self.setWindowIcon(UI.PixmapCache.getIcon("eric.png")) |
107 |
107 |
108 self.mHistory = [] |
108 self.mHistory = [] |
|
109 self.__lastConfigurationPageName = "" |
109 |
110 |
110 if self.initShortcutsOnly: |
111 if self.initShortcutsOnly: |
111 self.__initActions() |
112 self.__initActions() |
112 else: |
113 else: |
113 self.__helpEngine = \ |
114 self.__helpEngine = \ |
1833 dlg = ConfigurationDialog(self, 'Configuration', True, |
1834 dlg = ConfigurationDialog(self, 'Configuration', True, |
1834 fromEric = self.fromEric, |
1835 fromEric = self.fromEric, |
1835 displayMode = ConfigurationDialog.HelpBrowserMode) |
1836 displayMode = ConfigurationDialog.HelpBrowserMode) |
1836 dlg.preferencesChanged.connect(self.preferencesChanged) |
1837 dlg.preferencesChanged.connect(self.preferencesChanged) |
1837 dlg.show() |
1838 dlg.show() |
1838 dlg.showConfigurationPageByName("empty") |
1839 if self.__lastConfigurationPageName: |
|
1840 dlg.showConfigurationPageByName(self.__lastConfigurationPageName) |
|
1841 else: |
|
1842 dlg.showConfigurationPageByName("empty") |
1839 dlg.exec_() |
1843 dlg.exec_() |
1840 QApplication.processEvents() |
1844 QApplication.processEvents() |
1841 if dlg.result() == QDialog.Accepted: |
1845 if dlg.result() == QDialog.Accepted: |
1842 dlg.setPreferences() |
1846 dlg.setPreferences() |
1843 Preferences.syncPreferences() |
1847 Preferences.syncPreferences() |
1844 self.preferencesChanged() |
1848 self.preferencesChanged() |
|
1849 self.__lastConfigurationPageName = dlg.getConfigurationPageName() |
1845 |
1850 |
1846 def preferencesChanged(self): |
1851 def preferencesChanged(self): |
1847 """ |
1852 """ |
1848 Public slot to handle a change of preferences. |
1853 Public slot to handle a change of preferences. |
1849 """ |
1854 """ |