is there any way to completely inactivate the jedit splash screen in the 5.3pre1 version? It always shows on my comps, and it does not matter if the option 'Show splash screen on startup' is checked or not.


Using jEdit version: 5.3pre1
Daily build: 2014-05-25
Java runtime version: 1.7.0_65-b20
OS name: Windows 8.1
OS version: 6.3
OS arch: x86