refresh

suspend fun refresh()(source)

Checks the lines not checked yet, then makes every line's underlines match its results. A line edited while the checker ran keeps its underlines until the next refresh.