Preferences/ConfigurationDialog.py

changeset 97
c4086afea02b
parent 88
3701923bccf2
child 130
fcce4cc20d95
equal deleted inserted replaced
96:9624a110667d 97:c4086afea02b
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

eric ide

mercurial