Re: [ jEdit-users ] jEdit menu bar in Mac OS X...

[Ringo De S. <ri...@ya...>]

Slava,

> Is this just a normal system property? Can jEdit set it to
> 'true'
> near the beginning of its startup sequence (if MacOS X is
> detected)?

I'll have to look into that, but I suspect this won't work. You
have to set this in the MRJApp.properties file, so I think this
is a properties file that is used by the Java VM launcher only
at start time and unused afterwards. I'll see if it works if I
specify this property on the command line using the -Dprop=value
mechanism. I'll let you know.

Ringo

=====
Ringo De Smet
Email @ home: Rin...@bi...
Email @ work: Rin...@bi...

__________________________________________________
Do You Yahoo!?
Get personalized email addresses from Yahoo! Mail - only $35 
a year!  http://personal.mail.yahoo.com/