I have an actual version installed/compiled and noticed the following:

This works well ✅:

• click on a word once
• scroll with the mouse wheel
• new occurrences of the word coming into the visible area are properly marked

This things do not seem to work ❌:
Issue 1:

• click on a word once
• scroll up or down using page up/page down keys
• new occurrences of the word coming into the visible area NOT marked

Issue 2:

• double click on a word (so it is being selected)
• scroll with the mouse wheel
• new occurrences of the word coming into the visible area NOT marked

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.