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.
Shlomy Reinstein
None
None
Public
|
Date: 2012-12-27 08:00:52 PST here is a patch to use java6 native splash screen. |
| Filename | Description | Download |
|---|---|---|
| nativesplash.png | same splash screen but with space below for progress message | Download |
| 0001-use-native-java6-splash-screen.patch | patch hacked from git format-patch | Download |