nice to meet you. The Zeppelin version currently deployed, you can not modify it in the web ui.
I am currently making its features. (Editable font size, web fonts, indent) maybe, tomorrow will be like PR or for this upload feature that the day after tomorrow. Thank you. 출발: Alexander Bezzubov <[email protected]> 회신 대상: <[email protected]> 날짜: 2016년 7월 20일 수요일 오전 9:22 받는 사람: <[email protected]> 주제: Re: Adjusting Font / Size 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]
