Как изменить размер шрифта для конкретного ключевого слова в Monaco Editor - PullRequest
0 голосов
/ 12 февраля 2019

Я пытаюсь создать собственный редактор с использованием Monaco Editor и хочу выделить некоторые конкретные ключевые слова с большим (или меньшим) размером шрифта.

Пример:

This is a [smaller] and *This is bigger*

Идея состоит в том, что [smaller] будет иметь размер шрифта 80%, а *This is bigger* - 120%.

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

Идеи, пожалуйста?Спасибо.

...