diff -r c2125fcab4b8 -r 3a595df36c9a src/eric7/QScintilla/MiniEditor.py
--- a/src/eric7/QScintilla/MiniEditor.py Thu Aug 31 15:00:53 2023 +0200
+++ b/src/eric7/QScintilla/MiniEditor.py Thu Aug 31 18:10:28 2023 +0200
@@ -3893,17 +3893,15 @@
"""
if self.apiLanguage == "Guessed" or self.apiLanguage.startswith("Pygments|"):
lang = self.lexer_.name()
- if normalized: # __IGNORE_WARNING_Y102__
+ if normalized and lang in ("Python 2.x", "Python"):
# adjust some Pygments lexer names
- if lang in ("Python 2.x", "Python"):
- lang = "Python3"
+ lang = "Python3"
else:
lang = self.apiLanguage
- if forPygments: # __IGNORE_WARNING_Y102__
+ if forPygments and lang == "Python3":
# adjust some names to Pygments lexer names
- if lang == "Python3":
- lang = "Python"
+ lang = "Python"
return lang
def __checkLanguage(self):
