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

【问题标题】：How do I change the Font Style in ACE editor?如何在 ACE 编辑器中更改字体样式？
【发布时间】：2014-03-20 23:46:32
【问题描述】：

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

我该怎么做？

【问题讨论】：

标签： javascript ace-editor

【解决方案1】：

要更改字体，您可以为 #editor 添加 css 规则。或使用

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

但是 Ace 目前只支持等宽字体，而 tahoma 不是等宽字体，所以光标位置会出错。

【讨论】：

setOption() 和 setOptions() 不适合我。唯一的方法似乎是改变实际的 CSS 字体样式，这可能会影响编辑器的定位和大小。
也许你使用的是旧版本，它适用于 ace.c9.io
Nope 不适用于 ace-editor。当我调用 setOption("fontFamily") 时，间距会更改为新的字体间距，但实际字体不会。奇怪的 fontSize 有效。
可能你有一个 css 规则覆盖 ace 内元素的字体样式。

【解决方案2】：

据我所知，除了editor.setOptions()之外，没有直接更改Ace字体系列的捷径。

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

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

【讨论】：

但不是令牌大小