web-dev-qa-db-ja.com

ACEエディターでフォントスタイルを変更するにはどうすればよいですか？

私のページで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」に変更します。

それ、どうやったら出来るの？

javascriptace-editor
22
user1733583

フォントを変更するには、#editorのCSSルールを追加します。または使用

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

ただし、エースは現在のところモノスペースフォントしかサポートしておらず、タホマはモノスペースではないため、カーソルの位置が間違っています。

37
a user

私の知る限り、editor.setOptions()以外のエースのフォントファミリーを直接変更するショートカットはありません。

ただし、次の呼び出しにより、フォントサイズをピクセル単位で直接設定できます。

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