¿Cómo cambio el estilo de fuente en el editor ACE?

Question

Feb 20, 2014, 08:24 AM

¿Cómo cambio el estilo de fuente en el editor ACE?

Estoy usando el editor ACE en mi página,

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

De forma predeterminada, muestra una fuente, quiero cambiar mi fuente a 'Tahoma 10pt'.

¿Cómo puedo hacer eso?