eric6/QScintilla/MiniEditor.py

changeset 7730
20b05e846148
parent 7690
a59680062837
child 7746
12d5e1e6abd1
--- a/eric6/QScintilla/MiniEditor.py	Wed Sep 30 19:50:33 2020 +0200
+++ b/eric6/QScintilla/MiniEditor.py	Thu Oct 01 17:34:48 2020 +0200
@@ -3132,7 +3132,10 @@
             return
         
         if pyname:
-            self.apiLanguage = "Pygments|{0}".format(pyname)
+            if pyname.startswith("Pygments|"):
+                self.apiLanguage = pyname
+            else:
+                self.apiLanguage = "Pygments|{0}".format(pyname)
         else:
             if language == "Protocol":
                 self.apiLanguage = language
@@ -3576,7 +3579,8 @@
         """
         if option in ("TabWidth", "IndentWidth"):
             overrides = Preferences.getEditor("TabIndentOverride")
-            if self.filetype in overrides:
+            language = self.filetype or self.apiLanguage
+            if language in overrides:
                 if option == "TabWidth":
                     return overrides[self.filetype][0]
                 elif option == "IndentWidth":

eric ide

mercurial