Menu
▾
▴
Re: [ jEdit-users ] How to switch off 'Show splash screen' in 5.3
|
From: Matthieu C. <cho...@gm...> - 2014-07-25 21:15:10
|
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 <[1]ala...@gm...>: 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. [2]http://p.sf.net/sfu/bds -- ----------------------------------------------- jEdit Users' List [3]jEd...@li... [4]https://lists.sourceforge.net/lists/listinfo/jedit-users -- Matthieu Casanova cho...@gm... References 1. mailto:ala...@gm... 2. http://p.sf.net/sfu/bds 3. mailto:jEd...@li... 4. https://lists.sourceforge.net/lists/listinfo/jedit-users |
