There is no way of doing it from UI, maybe this PR would solve it:
https://github.com/apache/zeppelin/pull/1256
If you want to it by default, you would have to change the source code then
rebuild.
Best way would be to change the font-family and font-size of the Ace text
through CSS.
(You have to find the correct CSS class that would target that text)
On Tue, Aug 2, 2016 at 10:05 AM, Shayne Hodge <sho...@snaplogic.com> wrote:
> >> 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<<
>
> Where do you do this? In a dev tools consoles, there's no editor object
> found. Do I just create an editor {} block in
> .../zeppelin/lib/webapps/webapp/assets/styles/looknfeel ?
>
> Thanks,
>
> Shayne
>
