src/eric7/Preferences/ConfigurationPages/EditorPropertiesPage.py

branch
eric7
changeset 10373
093dcebe5ecb
parent 10135
36839e2c6945
child 10428
a071d4065202
diff -r 1444b4bee64b -r 093dcebe5ecb src/eric7/Preferences/ConfigurationPages/EditorPropertiesPage.py
--- 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

eric ide

mercurial