Commit [r23637]  Maximize  Restore  History

Merge request #198. Splashscreen cannot be hidden.

Also some docs updates.

ezust 2014-07-31

changed /jEdit/branches/5.2.x
changed /jEdit/branches/5.2.x/doc/CHANGES.txt
changed /jEdit/branches/5.2.x/doc/users-guide/customizing.xml
changed /jEdit/branches/5.2.x/org/gjt/sp/jedit/jedit.manifest
/jEdit/branches/5.2.x/doc/CHANGES.txt Diff Switch to side-by-side view
Loading...
/jEdit/branches/5.2.x/doc/users-guide/customizing.xml Diff Switch to side-by-side view
Loading...
/jEdit/branches/5.2.x/org/gjt/sp/jedit/jedit.manifest Diff Switch to side-by-side view
Loading...

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks