[ jEdit-devel ] [ jedit-Patches-2811404 ] "Whole word" search option

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

Patches item #2811404, was opened at 2009-06-24 12:30
Message generated for change (Comment added) made by shlomy
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=300588&aid=2811404&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: None
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Olivier Chafik (opentator)
Assigned to: Nobody/Anonymous (nobody)
Summary: "Whole word" search option

Initial Comment:
Right now is a pain to look for variable "i" in jEdit, as a plain text search will match all occurrences of "i" inside words.
Using a carefully crafted regex can provide a workaround but is not user-friendly (e.g. "(^|\W)i($|\W)").
Many other editors support a "whole word" search option that does the job.

This patch adds this checkbox to both the search dialog and the search bar in both plain text and regex search.
Compatible with the ignore case option.
Reverse search mode only supported for plain text search for now, I need help to debug the reverse + wholeWord + regex mode.

jEdit rulez !

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

>Comment By: Shlomy Reinstein (shlomy)
Date: 2009-07-19 23:11

Message:
While not very user friendly, searching for "Whole word" simply requires
surrounding the searched word with "\b", using regexp search. For example,
to search for whole-word "i", search for "\bi\b".
Nevertheless, introducing a whole-word search is nice, but its location in
the search dialog should be under "Settings", not under "Direction", since
"whole-word" does not indicate direction for searching.


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

Comment By: Alan Ezust (ezust)
Date: 2009-06-30 02:02

Message:
Wow, the second patch that offers this. See # 1905574.

XSearch plugin has it too, by the way, and since I use XSearch most of the
time, I don't miss this patch.
But I suppose either this one or the other one should be rolled into core
at some point after some review.



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

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