Menu
▾
▴
Re: [ jEdit-users ] How to switch off 'Show splash screen' in 5.3
|
From: tvojeho <tv...@us...> - 2014-07-25 20:54:31
|
OK, I created bug ticket. tvojeho 2014-07-25 22:28 GMT+02:00 Alan Ezust <ala...@gm...>: > Yup, that looks like a bug to me. > > Global options checkbox doesn't work and neither does -nosplash. > > > |