PJ Eby

What links, specifically? It works fine for me with links on kanban boards and in markdown notes (both editing and reading), recent files, backlinks, etc. Do you have the most...

Jumping to headers works for me on 1.0 as well.

Since a deinstall and reinstall fixed it, it is likely that the problem was in the plugin settings (assuming you had the latest version of Hover Editor). If anyone is...

Closing this since it doesn't appear reproducible, and there is now a new version of Hover Editor (0.11.7) that can be tried for anyone still experiencing the problem.

Ok, looks like having too low of a delay setting is the problem; I'll have to investigate adding a minimum or seeing if there's some other way to fix the...

Have you tried turning off auto-focus in Hover Editor's settings?

The idle timer is an idea worth considering, though it still has the problem of "how long is too long", as well as the problem of what if you just...

Does it work if the hover editor is in preview mode?

I think you'd probably be better off bringing this up with the other plugin author first. In my own testing, I found that if you move the cursor to the...

Unfortunately, the search plugin does not provide this information as part of the hover event, so I'm not sure how we'd implement this -- at the very least it would...