Quantcast

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

classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

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

Eric Berry
Administrator
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
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

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

Alan Ezust-3
Administrator
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 <[hidden email]> 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
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel



------------------------------------------------------------------------------
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
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

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

Eric Berry
Administrator
Ah. That did it. Thanks Alan!

On Thu, Jan 19, 2017 at 5:46 AM, Alan Ezust <[hidden email]> wrote:
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 <[hidden email]> 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
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel





--
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
[hidden email]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Loading...