[jedit:bugs] #4126 Search in directory - "Whole Word" fails to find words at the end of a line
Alan Ezust via jEdit-devel <[email protected]>
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | <[email protected]> |
--- **[bugs:#4126] Search in directory - "Whole Word" fails to find words at the end of a line** **Status:** open **Group:** minor bug **Created:** Wed Jul 12, 2023 02:55 PM UTC by Alan Ezust **Last Updated:** Wed Jul 12, 2023 02:55 PM UTC **Owner:** nobody I was searching for a word at the end of a line and I selected "whole word" and jedit couldn't find it. Then I unchecked "whole word" and it found it. --- Sent from sourceforge.net because [email protected] is subscribed to https://sourceforge.net/p/jedit/bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. -- ----------------------------------------------- jEdit Developers' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-devel