code icon indicating copy to clipboard operation
code copied to clipboard

Global search gives incorrect number of hits for some search terms

Open jeremypw opened this issue 3 months ago • 0 comments

What Happened?

Searched for .changed. The current document had one hit with local search (correct) but the global search showed a badge of 7 against the current document (incorrect). The local search for changed, without the leading point, gave seven hits (correct).

It appears leading . characters are ignored by global search.

Steps to Reproduce

Compare local and global search results for a search term with a leading . using a document that has more hits for the search term without the leading .

Expected Behavior

. should be treated as part of the search term in global search

OS Version

8.x (Circe)

OS Architecture

amd64 (on most hardwares)

Session Type

Classic Session (X11, This is the default)

Software Version

Latest release (I have run all updates)

Log Output


Hardware Info

No response

jeremypw avatar Nov 10 '25 15:11 jeremypw