Right, the bug was introduced by using a native splashscreen.
Can we remove it Eric ?
Le Ven 25 juillet 2014, à 22:54, tvojeho a écrit :
OK, I created bug ticket.
2014-07-25 22:28 GMT+02:00 Alan Ezust <alan.ezust@gmail.com>:
Yup, that looks like a bug to me.
Global options checkbox doesn't work and neither does -nosplash.
Want fast and easy access to all the code in your enterprise? Index and
search up to 200,000 lines of code with a free copy of Black Duck
Code Sight - the same software that powers the world's largest code
search on Ohloh, the Black Duck Open Hub! Try it now.
jEdit Users' List
Matthieu Casanova