@elextr Yes, it contained the "fix" but I checked right now with some traces enabled and it didn't work the way I expected (interestingly I'm not able to reproduce the issue myself so testing just indirectly by having a look when the rehighlighting function gets called).

Hopefully the issue is really fixed now in the very last commit - could you test please?

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