I ACE-Editor auf meiner Seite verwendet,Wie ändere ich den Schriftstil im ACE-Editor?
<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 eine Schriftart angezeigt wird, möchte ich meine Schrift ‚Tahoma 10pt‘ ändern.
Wie mache ich das?
Um die Schriftart zu ändern, können Sie entweder eine CSS-Regel für #editor hinzufügen. oder verwenden
editor.setOptions({
fontFamily: "tahoma",
fontSize: "10pt"
});
Aber Ace unterstützt nur Monospace-Schriften für jetzt und tahoma nicht monospace, so wird Cursorposition falsch sein.
Meiner Kenntnis nach gibt es keine Verknüpfung, um die Schriftartfamilie von Ace direkt zu ändern, außer editor.setOptions().
jedoch die Schriftgröße in Pixeln direkt durch Aufruf festlegen:
editor.setFontSize(10) // will set font-size: 10px
'setOption()' und 'setOptions()' arbeitet nicht für mich. Nur so scheint sich der CSS-Font-Stil zu verändern, der die Positionierung und Größe des Editors zunichte machen kann. –
vielleicht verwenden Sie alte Version, es funktioniert auf ace.c9.io –
Nein funktioniert nicht für mich mit Ace-Editor. Wenn ich setOption ("fontFamily") aufruft, ändert sich der Abstand auf den neuen Schriftabstand, aber die tatsächliche Schriftart nicht. Seltsam fontSize funktioniert. –