mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-22 04:43:02 +07:00
It also caused double highlighting on the frontend as PyKeywordHighlightingAnnotator is currently registered in both frontend and backend. GitOrigin-RevId: cdf111acfdb8a979613007e12abcf6c7dac9c9dd