如何在ACE编辑器中更改字体样式？

Question

我在我的页面上使用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'.

我怎么做？

Answer 1

要更改字体,您可以为其添加css规则#editor.或使用

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

但Ace目前仅支持等宽字体,而tahoma不是等宽字体,因此光标位置将是错误的.

Answer 2

据我所知,没有直接更改Ace的字体系列的快捷方式editor.setOptions().

但是,您可以通过调用直接设置字体大小(以像素为单位)

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