diff -r 1444b4bee64b -r 093dcebe5ecb src/eric7/Preferences/ConfigurationPages/EditorTypingPage.py --- a/src/eric7/Preferences/ConfigurationPages/EditorTypingPage.py Sun Dec 03 16:44:52 2023 +0100 +++ b/src/eric7/Preferences/ConfigurationPages/EditorTypingPage.py Sun Dec 03 19:46:34 2023 +0100 @@ -45,7 +45,7 @@ self.__extensionPages[language] = page self.__pageIds[language] = self.stackedWidget.addWidget(page) - for language in sorted(self.__pageIds.keys()): + for language in sorted(self.__pageIds): self.languageCombo.addItem(language, self.__pageIds[language]) # set initial values