Как я могу указать, какие компоненты расширения использовать - PullRequest
0 голосов
/ 20 декабря 2018

У меня установлено два расширения, которые предоставляют некоторые перекрывающиеся функции.В частности, оба расширения предоставляют языковые грамматики.

Одно расширение имеет всеобъемлющий языковой сервер, который предоставляет интеллектуальные фрагменты и тому подобное, но имеет неполноценный колоризатор.Другой язык обеспечивает гораздо лучший колоризатор, но не имеет никаких вспомогательных функций (т.е. нет языкового сервера).

Я хотел бы убедиться, что лучший колоризатор всегда выбирается вместо младшего, сохраняя оба расширенияфункции.До сих пор я не могу найти какой-либо способ явно сделать это.

Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...