micro
micro copied to clipboard
highlighter: Fix last open racy access in the `*Highlight*()` functions
Otherwise it's possible that *Highlight*()
functions called from the async initial highlighting can be interrupted by the main goroutine, which then changes the already set and furthermore used h.lastRegion
. The resulting last region respective set state isn't reliable any longer then.
The need for this came up in #3237.