Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Error Markers painted slightly displaced in the ErrorStrip #129
The error markers are painted in a slightly displaced manner in the ErrorStrip:
Here's a quick screenshot illustrating both of these points:
Above, the first error marker (or in this case, a Task Tag/TODO marker) is not visible, and the TODO marker corresponding to the last line is printed as being on the second to last line.