[ jEdit-devel ] search and replace patch

[Iain H. <ih...@cs...>]

Hi Slava,

Here's an updated version of my additions to the search bar. It does
search and replace in the current buffer only. There are no alt-key
mnemonics as requested. I've added a work-around so it does reverse search
and replace. I've included this fix in the search dialog as well. I have
also added a fix for bug #586677 see:
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=586677&group_id=588
I've run a few basic tests on it and everything seems ok. Let me know what
you think.

Cheers,
Iain