smartGWT и RichTextEditor: Как установить доступные шрифты?

Question

Я использую RichTextEditor от smartGWT, и он поставляется с 7 различными шрифтами по умолчанию, но я хотел бы поддерживать ТОЛЬКО 1 тип шрифта, а не 7, но шрифт, который я хочу поддерживать, не поставляется с RichTextEditor. Как установить поддерживаемые типы шрифтов в RichTextEditor?

Answer 1

Кажется, что они не раскрывают большую часть этой функциональности в API RichTextEditor, однако я полагаю, что это может быть достигнуто путем выполнения следующих действий:

RichTextEditor rte = new RichTextEditor();
// remove the font controls
rte.setControlGroups("formatControls", "styleControls", "colorControls");
// set the base font for the editor, could also be done with a <span> tag
rte.setValue("<font face="Bookman Old Style, Book Antiqua, Garamond"></font>");