mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-05-02 03:07:47 +07:00
PY-71549 Rename PyHighlightingAnnotator -> PyKeywordHighlightingAnnotator
GitOrigin-RevId: 1bf5c7c8cb3c074b2875d309d471840401665e84
This commit is contained in:
committed by
intellij-monorepo-bot
parent
065fb1cfd4
commit
3e1cf2afd5
@@ -27,6 +27,6 @@
|
||||
<joinLinesHandler implementation="com.jetbrains.python.editor.PyJoinLinesHandler"/>
|
||||
<lang.foldingBuilder language="Python" implementationClass="com.jetbrains.python.PythonFoldingBuilder"/>
|
||||
<applicationService serviceImplementation="com.jetbrains.python.PythonFoldingSettings"/>
|
||||
<annotator language="Python" implementationClass="com.jetbrains.python.validation.PyHighlightingAnnotator"/>
|
||||
<annotator language="Python" implementationClass="com.jetbrains.python.validation.PyKeywordHighlightingAnnotator"/>
|
||||
</extensions>
|
||||
</idea-plugin>
|
||||
Reference in New Issue
Block a user