emitHighlightUpdated
fun emitHighlightUpdated(start: <Error class: unknown class>, end: <Error class: unknown class>)(source)
Emits the "highlight-updated" signal. See onHighlightUpdated.
Parameters
start
the start of the updated region
end
the end of the updated region