Preferences/ConfigurationDialog.py

changeset 4143
565002034bdb
parent 4128
6e1ee14d5f23
child 4165
7ff2ca8b0dc5
equal deleted inserted replaced
4142:7e138a214147 4143:565002034bdb
610 Public slot to show a named configuration page. 610 Public slot to show a named configuration page.
611 611
612 @param pageName name of the configuration page to show (string) 612 @param pageName name of the configuration page to show (string)
613 @param setCurrent flag indicating to set the current item (boolean) 613 @param setCurrent flag indicating to set the current item (boolean)
614 """ 614 """
615 if pageName == "empty": 615 if pageName == "empty" or pageName not in self.configItems:
616 page = self.emptyPage 616 page = self.emptyPage
617 else: 617 else:
618 pageData = self.configItems[pageName] 618 pageData = self.configItems[pageName]
619 if pageData[-1] is None and pageData[2] is not None: 619 if pageData[-1] is None and pageData[2] is not None:
620 # the page was not loaded yet, create it 620 # the page was not loaded yet, create it

eric ide

mercurial