-
Notifications
You must be signed in to change notification settings - Fork 2.5k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Stale Problem Markers and Errors in Log after Long Editing Session #12701
Comments
Maybe related to #12408, which was the most recent change dealing with problem markers. |
As the problem only occurs after a while, I'm more than willing to believe it has been around for a while. But thanks for the hint. |
@martin-fleck-at Is there a chance that you just fixed this? |
@JonasHelming I don't think so. I opened a PR to ensure that the problems view is properly updated if it is not visible (we do an update on activation now) but I don't think it has anything to do with the error markers and line decorations inside the editor. Hard to tell what's going on if the problem only occurs sometimes after a while. Would be interesting to see if this is also happening in VS Code, i.e., whether it could be something inside the Typescript server or whether it happens on all languages. |
Might be fixed by https://github.com/eclipse-theia/theia/pull/13082/files |
@tsmaeder Did you experience this again? Otherwise I suggest to close this |
Bug Description:
When editing Typescript files in the Theia code base, sometimes I get into a state where the squiggly error lines are clearly out of date. There is no clear scenario how to provoke this.
Steps to Reproduce:
Note that closing and reopening the editor fixes the problem.
Additional Information
The text was updated successfully, but these errors were encountered: