--- a/src/eric7/Preferences/ConfigurationPages/EditorHighlightingStylesPage.py Sun Dec 03 16:44:52 2023 +0100 +++ b/src/eric7/Preferences/ConfigurationPages/EditorHighlightingStylesPage.py Sun Dec 03 19:46:34 2023 +0100 @@ -92,7 +92,7 @@ self.lexers = lexers # set initial values - languages = sorted([""] + list(self.lexers.keys())) + languages = sorted([""] + list(self.lexers)) self.__populateLanguages(languages) def setMode(self, displayMode): @@ -111,7 +111,7 @@ """ Public slot to save the Editor Highlighting Styles configuration. """ - for lexer in list(self.lexers.values()): + for lexer in self.lexers.values(): lexer.writeSettings() def __populateLanguages(self, languages): @@ -570,7 +570,7 @@ stylesDir = getConfig("ericStylesDir") - lexerNames = list(self.lexers.keys()) + lexerNames = list(self.lexers) if not exportAll: if self.lexer: preselect = [self.lexer.language()]