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

Stack Overflow用户

提问于 2014-02-20 15:24:24

回答 2查看 23.3K关注 0票数 23

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

Stack Overflow用户

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

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

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

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

票数 18

查看全部 2 条回答

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/21900938

复制

相似问题

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

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

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

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

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