Stop auto hover timer if buffer changes or cursor moves
Codecov / codecov/changes
succeeded
Feb 14, 2024 in 1s
No unexpected coverage changes found
View this Pull Request on Codecov
No unexpected coverage changes found
Loading