Minor fixes for incsearch highlighting and caret/scroll position for undo#1010

Merged

AlexPl292 merged 3 commits intoJetBrains:masterfrom citizenmatt:bugfix/misc

Oct 21, 2024

+65-11

Commits on Oct 17, 2024

Only perform incsearch in current project
citizenmatt
committed

Commits on Oct 18, 2024