I am using ACE editor on my page,
<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>
By default it is showing a font, I want to change my font to 'Tahoma 10pt'.
How do I do that?
To change font you can either add a css rule for #editor
.
or use
editor.setOptions({
fontFamily: "tahoma",
fontSize: "10pt"
});
But Ace only supports monospace fonts for now, and tahoma isn't monospace, so cursor position will be wrong.