Re: [ jEdit-devel ] button, menu items, font size.

Switch to Metal look and feel? I bet it is greyed out because the L&F is
determined by the window manager.


On Tue, Jan 17, 2017 at 2:41 PM, Eric Berry <el...@gm...> wrote:

> Is there a way to set them, these settings are grey-ed out and I'm unable
> to change them.
>
> --
> Learn from the past. Live in the present. Work towards the future.
> Blog: http://eric-berry.blogspot.com
> jEdit <http://www.jedit.org> - Programmer's Text Editor
>
> ------------------------------------------------------------
> ------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, SlashDot.org! http://sdm.link/slashdot
> --
> -----------------------------------------------
> jEdit Developers' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>
>