286 [self.trUtf8("Eric Web Browser"), "ericWeb.png", |
286 [self.trUtf8("Eric Web Browser"), "ericWeb.png", |
287 "HelpWebBrowserPage", "0helpPage", None], |
287 "HelpWebBrowserPage", "0helpPage", None], |
288 } |
288 } |
289 |
289 |
290 # generate the list entries |
290 # generate the list entries |
291 itemsToExpand = [] |
|
292 for key in sorted(self.configItems.keys()): |
291 for key in sorted(self.configItems.keys()): |
293 pageData = self.configItems[key] |
292 pageData = self.configItems[key] |
294 if pageData[3]: |
293 if pageData[3]: |
295 pitm = self.itmDict[pageData[3]] # get the parent item |
294 pitm = self.itmDict[pageData[3]] # get the parent item |
296 else: |
295 else: |
564 savedState = currentPage.saveState() |
563 savedState = currentPage.saveState() |
565 pageName = self.configList.currentItem().getPageName() |
564 pageName = self.configList.currentItem().getPageName() |
566 self.configStack.removeWidget(currentPage) |
565 self.configStack.removeWidget(currentPage) |
567 if pageName == "editorHighlightingStylesPage": |
566 if pageName == "editorHighlightingStylesPage": |
568 self.__initLexers() |
567 self.__initLexers() |
569 pageData = self.configItems[pageName] |
568 self.configItems[pageName][-1] = None |
570 pageData[-1] = None |
|
571 |
569 |
572 self.showConfigurationPageByName(pageName) |
570 self.showConfigurationPageByName(pageName) |
573 if savedState is not None: |
571 if savedState is not None: |
574 self.configStack.currentWidget().setState(savedState) |
572 self.configStack.currentWidget().setState(savedState) |
575 |
573 |