Plugin uses delayed algorithm to save resources for huge documents and updates marks while you scrolling. Recently is had a little delay (150 ms). This commit 0801a3c should fix this issue, possibly you are using outdated version of plugin (depending on distribution).


Reply to this email directly or view it on GitHub.