我在我的页面上使用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'。
我该怎么做?
答案 0 :(得分:30)
要更改字体,您可以为#editor
添加css规则。
或使用
editor.setOptions({
fontFamily: "tahoma",
fontSize: "10pt"
});
但是Ace现在只支持等宽字体,而tahoma不是等宽字体,所以光标位置是错误的。
答案 1 :(得分:14)
据我所知,除了editor.setOptions()
之外,没有直接更改Ace的字体系列的快捷方式。
但是,您可以通过调用
直接设置字体大小(以像素为单位)editor.setFontSize(10) // will set font-size: 10px