Under Linux (kernel 2.2.17, Sun JDK 1.3.0.01) there is no splash screen visible at the startup of jEdit 3.0. If it makes any difference, I installed the RPM package.
Logged In: YES user_id=2280
I am closing this bug because it has not been confirmed or re-reported since.
Log in to post a comment.
Logged In: YES
user_id=2280
I am closing this bug because it has not been confirmed or
re-reported since.