Как изменить стиль шрифта в редакторе ACE?

Я использую редактор ACE на своей странице,

<script src="ace-builds-master/src-noconflict/ace.js" type="text/javascript" charset="utf-8">
</script>
<script>
    var editor = ace.edit("editor");
    editor.setTheme("ace/theme/cobalt");
    editor.getSession().setMode("ace/mode/geco");
</script>

По умолчанию он показывает шрифт, я хочу изменить свой шрифт на "Tahoma 10pt".

Как это сделать?

Ответы

Ответ 1

Для изменения шрифта вы можете либо добавить правило css для #editor. или используйте

editor.setOptions({
  fontFamily: "tahoma",
  fontSize: "10pt"
});

Но Ace только поддерживает моноширинные шрифты, а тахома не является моношириной, поэтому позиция курсора будет неправильной.

Ответ 2

Насколько мне известно, не существует ярлыка для непосредственного изменения семейства шрифтов Ace, кроме editor.setOptions().

Однако вы можете установить размер шрифта в пикселях напрямую, вызвав:

editor.setFontSize(10) // will set font-size: 10px