Font in Fiji script editor

[lechristophe]

Hi,

Is there a way to change the font used by the Script Editor (the one in
Fiji, but I think it is in IJ also now)? I couldn't find an option in the
menus.

Thanks,

Christophe Leterrier

--
ImageJ mailing list: http://imagej.nih.gov/ij/list.html

[Mark Hiner]

Hi Christophe,

>the Script Editor (the one in Fiji, but I think it is in IJ also now)

The Script Editor that ships with Fiji is actually an ImageJ2 construct
now[1].

>I couldn't find an option in the menus.

It looks like Courier font is hard-coded right now. This seems like a very
reasonable improvement though, so I opened an issue[2] for it.

Thanks for pointing this out!

Best,
Mark

[1] http://imagej.net/Script_Editor
[2] https://github.com/imagej/imagej-ui-swing/issues/43

On Mon, May 25, 2015 at 6:15 AM, Christophe Leterrier <
[hidden email]> wrote:

> Hi,
>
> Is there a way to change the font used by the Script Editor (the one in
> Fiji, but I think it is in IJ also now)? I couldn't find an option in the
> menus.
>
> Thanks,
>
> Christophe Leterrier
>
> --
> ImageJ mailing list: http://imagej.nih.gov/ij/list.html
>

--
ImageJ mailing list: http://imagej.nih.gov/ij/list.html