diff -r 9624a110667d -r c4086afea02b Preferences/ConfigurationDialog.py
--- a/Preferences/ConfigurationDialog.py Sun Jan 31 17:11:22 2010 +0000
+++ b/Preferences/ConfigurationDialog.py Sun Jan 31 18:31:28 2010 +0000
@@ -288,7 +288,6 @@
}
# generate the list entries
- itemsToExpand = []
for key in sorted(self.configItems.keys()):
pageData = self.configItems[key]
if pageData[3]:
@@ -566,8 +565,7 @@
self.configStack.removeWidget(currentPage)
if pageName == "editorHighlightingStylesPage":
self.__initLexers()
- pageData = self.configItems[pageName]
- pageData[-1] = None
+ self.configItems[pageName][-1] = None
self.showConfigurationPageByName(pageName)
if savedState is not None:
