Skip to content

Fix several minor search bugs relating to incsearch highlighting and Visual mode#1080

Merged
AlexPl292 merged 8 commits intoJetBrains:masterfrom citizenmatt:bugfix/incsearch-and-visualJan 22, 2025

Commits

Commits on Jan 22, 2025