It is now fixed in trunk
 
 
Le Ven 25 juillet 2014, à 23:14, Matthieu Casanova a écrit :
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.
 
tvojeho
 
 
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.
http://p.sf.net/sfu/bds
--
-----------------------------------------------
jEdit Users' List
jEdit-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-users
--
Matthieu Casanova
chocolat.mou@gmail.com
 
 
------------------------------------------------------------------------------
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.
http://p.sf.net/sfu/bds
--
-----------------------------------------------
jEdit Users' List
jEdit-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-users
--
Matthieu Casanova
chocolat.mou@gmail.com