javascript - react - code editor web

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

Question

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>

Por defecto, muestra una fuente, quiero cambiar mi fuente a ''Tahoma 10pt''.

¿Cómo puedo hacer eso?

Answer 1

Para cambiar la fuente, puede agregar una regla css para #editor . o usar

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

Pero Ace solo admite fuentes monoespaciadas por ahora, y tahoma no es monoespacio, por lo que la posición del cursor será incorrecta.

Answer 2

Que yo sepa, no hay un atajo para cambiar directamente la familia de fuentes de Ace que no sea editor.setOptions() .

Sin embargo, puede establecer el tamaño de fuente en píxeles directamente llamando:

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