[ jEdit-devel ] [ jedit-Bugs-3522497 ] "Whole word" option does not work in Replace

[SourceForge.net <no...@so...>]

Bugs item #3522497, was opened at 2012-04-29 23:52
Message generated for change (Comment added) made by shlomy
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=3522497&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: search and replace
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Shlomy Reinstein (shlomy)
Assigned to: Nobody/Anonymous (nobody)
Summary: "Whole word" option does not work in Replace

Initial Comment:
Trying to replace all occurrences of "debug_client" with "DebugClient", when the "Whole word" option is selected in the Search&Replace dialog, causes also partial word replacements. E.g. both of the following were replaced:

genericapi: debug_client
genericapi_all: debug_client_all

Note that in the 2nd line, debug_client does not appear as a whole word.
I use latest SVN development version of jEdit.

----------------------------------------------------------------------

>Comment By: Shlomy Reinstein (shlomy)
Date: 2012-04-30 02:58

Message:
I don't understand your comment. However, I think that Replace should be
consistent with Search. Search with "Whole word" option does not find the
2nd line, but Replace does...

----------------------------------------------------------------------

Comment By: Jarek Czekalski (jarekczek)
Date: 2012-04-30 02:14

Message:
This regards only to extra "non word characters", as specified in props. I
guess if you try to replace "ebu", nothing will get replaced.

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=100588&aid=3522497&group_id=588