Commit [r23625]  Maximize  Restore  History

The native splashscreen is removed as it was not possible to disable it #3876

kpouer 2014-07-28

changed /jEdit/trunk/doc/CHANGES.txt
changed /jEdit/trunk/org/gjt/sp/jedit/jedit.manifest
/jEdit/trunk/doc/CHANGES.txt Diff Switch to side-by-side view
Loading...
/jEdit/trunk/org/gjt/sp/jedit/jedit.manifest Diff Switch to side-by-side view
Loading...