--- a/src/eric7/Preferences/ConfigurationPages/EditorPropertiesPage.py Sun Dec 03 16:44:52 2023 +0100 +++ b/src/eric7/Preferences/ConfigurationPages/EditorPropertiesPage.py Sun Dec 03 19:46:34 2023 +0100 @@ -30,7 +30,7 @@ self.setupUi(self) self.setObjectName("EditorPropertiesPage") - self.languages = sorted(list(lexers.keys())[:]) + self.languages = sorted(lexers) # set initial values # All