Add option to delay symbol highlights on caret hover

[diocletiann]

Check for existing issues

• [X] Completed

Describe the feature

When navigating with the caret, matching symbols are highlighted instantly, leading to visual noise. A ~200ms delay would be a more pleasant experience.

If applicable, add mockups / screenshots to help present your vision of the feature

No response