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