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 <b...@apache.org>
회신 대상: <users@zeppelin.apache.org>
날짜: 2016년 7월 20일 수요일 오전 9:22
받는 사람: <users@zeppelin.apache.org>
주제: 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 <sho...@snaplogic.com> 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
sho...@snaplogic.com
