Monaco Editor: Установка размера шрифта с помощью API?

Question

Я могу установить свойство fontSize при создании экземпляра Monaco Editor. Однако я хотел бы предоставить своим пользователям возможность изменять размер во время выполнения. Я не могу найти API, который я могу вызвать, чтобы обновить размер шрифта. Я бы надеялся на что-то вроде editor.setFontSize(20), но, возможно, я что-то упускаю.

Answer 1

Я понял!

У объекта editor есть метод updateOptions, который принимает словарь IEditorOptions. Следовательно,

let options = {"fontSize": 20}
editor.updateOptions(options);

выполняет задачу. Вот полный список доступных опций .