Menu

#4126 Search in directory - "Whole Word" fails to find words at the end of a line

minor bug
open
nobody
None
5
2023-07-12
2023-07-12
Alan Ezust
No

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.

Discussion


Log in to post a comment.

MongoDB Logo MongoDB