发布
社区首页 >问答首页 >如何在ACE编辑器中更改字体样式?

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

Stack Overflow用户
提问于 2014-02-20 15:24:24
回答 2查看 23.3K关注 0票数 23

我在我的页面上使用ACE编辑器,

代码语言:javascript
代码运行次数:0
复制
<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‘。

我该怎么做?

EN

回答 2

Stack Overflow用户

回答已采纳

发布于 2014-02-20 21:49:43

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

代码语言:javascript
代码运行次数:0
复制
editor.setOptions({
  fontFamily: "tahoma",
  fontSize: "10pt"
});

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

票数 39
EN

Stack Overflow用户

发布于 2015-08-30 18:55:22

据我所知,除了editor.setOptions()之外,没有什么捷径可以直接改变Ace的字体家族。

但是,您可以通过调用以下方法直接设置以像素为单位的字体大小:

代码语言:javascript
代码运行次数:0
复制
editor.setFontSize(10) // will set font-size: 10px
票数 18
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/21900938

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档