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