Undo after search and replace with beanshell replacement fails. Reverts only first occurance.
1. launch jedit r21961 on Win 7, java 6, with -nosettings -noplugins
2. type abcdef
3. enter search and replace dialog:
search for: [a-z]
replace with: _0.toUpperCase()
switch on regexp and beanshell snippet
4. replace all
5. close dialog
6. notice ABCDEF, great
7. undo makes it aBCDEF, while should make it abcdef
Log in to post a comment.