Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Redundant error is shown #99134

Closed
sandy081 opened this issue Jun 2, 2020 · 4 comments
Closed

Redundant error is shown #99134

sandy081 opened this issue Jun 2, 2020 · 4 comments
Assignees
@jrieken
Labels
bug Issue identified by VS Code Team member as probable bug *duplicate Issue identified as a duplicate of another issue(s) notebook
Milestone
May 2020

Comments

@sandy081
Copy link
Member

sandy081 commented Jun 2, 2020

Testing #98821

image

It occurred to me when I closed the editor and opened the notebook from problems panel. Cant repro it again but filed it incase you know why it happens.
@jrieken jrieken added bug Issue identified by VS Code Team member as probable bug notebook labels Jun 2, 2020
@jrieken jrieken added this to the May 2020 milestone Jun 2, 2020
@jrieken
Copy link
Member

jrieken commented Jun 2, 2020

might be because the close event for a notebook is missing and then markers are't cleaned up

@jrieken
Copy link
Member

jrieken commented Jun 3, 2020

This should now be fixed with #99142. Before, we would remove the project and create a new one, but we would never clean up markers...

@jrieken
Copy link
Member

jrieken commented Jun 3, 2020

/duplicate of #99142

@github-actions github-actions bot locked and limited conversation to collaborators Jul 18, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@jrieken jrieken

Labels
bug Issue identified by VS Code Team member as probable bug *duplicate Issue identified as a duplicate of another issue(s) notebook
Projects
None yet
Milestone
May 2020
Development

No branches or pull requests
3 participants
@jrieken @sandy081 and others