Commit [bf8c32] Maximize Restore History

Merge branch 'master' of ssh://jedit.git.sourceforge.net/gitroot/jedit/MarkerSets

Shlomy Reinstein Shlomy Reinstein 2011-08-03