eric6/QScintilla/Editor.py

changeset 7730
20b05e846148
parent 7690
a59680062837
child 7737
5371a22cf2aa
child 7746
12d5e1e6abd1
--- a/eric6/QScintilla/Editor.py	Wed Sep 30 19:50:33 2020 +0200
+++ b/eric6/QScintilla/Editor.py	Thu Oct 01 17:34:48 2020 +0200
@@ -1751,7 +1751,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

eric ide

mercurial