That's a good question!
So far you have an option to make browser font size bigger manually, or to
customize .css or .js to setup Ace editor by either '#editor' id or
editor.setOptions({
fontFamily: "tahoma",
fontSize: "10pt"
});
Right now you can not change it through the web app UI though.
--
Alex
On Wed, Jul 20, 2016, 08:45 Shayne Hodge <[email protected]> wrote:
> I've looked through the docs, but can't find any option to change the font
> / size being used for coding. Is this possible at this point in time?
>
> Thanks,
>
> Shayne Hodge
> [email protected]
>
>
