when coqtop outputs an error location, cursor jumps to start position of the error.
as before, the area between start and end positions is highlighted in red