Wie ändere ich den Schriftstil im ACE-Editor?

Question

Feb 20, 2014, 08:24 AM

Wie ändere ich den Schriftstil im ACE-Editor?

Ich verwende den ACE-Editor auf meiner Seite.

<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>

Standardmäßig wird eine Schriftart angezeigt. Ich möchte meine Schriftart in "Tahoma 10pt" ändern.

Wie mache ich das?