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
Red error underline is sometimes at wrong location #3759
I suspect a refresh problem. Because just now I have a case, I close Processing and re-open to see if it's still here , but the the wrong underline go away.