[ jEdit-devel ] Some performance fixes for search&replace all case

[Thomas M. <tho...@we...>]

Hi,

please have a look at this patch. What do I need to do, to get this
patch into the repository?

Attached files:
1.) performance optimization patch
2.) test file for search&replace all case (search for "," and replace
with ", "

with kind regards
thomas