Re: editing font / size

[Shayne Hodge <sh...@snaplogic.com>]

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

Re: editing font / size

[Corneau Damien <co...@gmail.com>]

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