--- a/src/eric7/JediInterface/AssistantJedi.py Tue Oct 04 16:14:57 2022 +0200
+++ b/src/eric7/JediInterface/AssistantJedi.py Wed Oct 05 09:39:15 2022 +0200
@@ -73,6 +73,7 @@
"Pygments|Python",
"Pygments|Python 2.x",
"Cython",
+ "Pygments|Cython",
]
def __editorOpened(self, editor):