mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-20 03:20:56 +07:00
It also caused double highlighting on the frontend as PyKeywordHighlightingAnnotator is currently registered in both frontend and backend. GitOrigin-RevId: cdf111acfdb8a979613007e12abcf6c7dac9c9dd