[ jEdit-commits ] [jEdit-daily] MarkerSets (#21) - Successful!

[<el...@gm...>]

MarkerSets (#21) - Successful:

Changes for Build #21
[Shlomy Reinstein] Do not clear all previous results (in multi-state) when a search has no results.




Artifacts can be downloaded here:
http://www.tellurianring.com/projects/jedit-daily/index.php?dir=MarkerSets