The jEdit splash screen is currently 'always on top'. Sometimes, it takes jEdit a
lot of time to start, and during this time the splash screen hides a large portion
of the screen and prevents me from working with other applications.
I know I can get rid of the splash screen, but I am interested in it, and in being able to check the startup progress.
|Submitted||shlomy - 2012-09-11 - 08:28:17z||Assigned||shlomy|
|2012-12-27 - 16:00:52z
|here is a patch to use java6 native splash screen.
For me, it goes to background.
Is it better ?
|2012-12-27 - 15:59:38z
same splash screen but with space below for progress message
|2012-12-27 - 16:00:12z
patch hacked from git format-patch