eric6/Preferences/ConfigurationPages/EditorGeneralPage.py

changeset 7731
8ec83a027a21
parent 7690
a59680062837
child 7750
b16930e5baa9
--- a/eric6/Preferences/ConfigurationPages/EditorGeneralPage.py	Thu Oct 01 17:34:48 2020 +0200
+++ b/eric6/Preferences/ConfigurationPages/EditorGeneralPage.py	Thu Oct 01 17:39:16 2020 +0200
@@ -189,14 +189,10 @@
         """
         Private slot to add a new override entry.
         """
-        import QScintilla.Lexers
-        languages = list(
-            QScintilla.Lexers.getSupportedLanguages().keys())
+        languages = []
         for row in range(self.languageOverrideWidget.topLevelItemCount()):
             itm = self.languageOverrideWidget.topLevelItem(row)
-            language = itm.text(0)
-            if language in languages:
-                languages.remove(language)
+            languages.append(itm.text(0))
         dlg = EditorLanguageTabIndentOverrideDialog(
             editMode=False,
             languages=languages,

eric ide

mercurial