Skip to content

Problems in problems window not disappearing when closing a document #2290

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
Closed
DonJayamanne opened this issue Aug 1, 2018 · 5 comments
Closed

Problems in problems window not disappearing when closing a document #2290

DonJayamanne opened this issue Aug 1, 2018 · 5 comments
Assignees
@MikhailArkhipov
Labels
area-editor-* User-facing catch-all bug Issue identified by VS Code Team member as probable bug

Comments

@DonJayamanne
Copy link

  • Use new language server
  • Open a python file
  • Confirm messages are displayed in problems window
  • Close the python file
  • Problems are still displayed in the problems window (they should vanish)
@DonJayamanne DonJayamanne added bug Issue identified by VS Code Team member as probable bug needs PR important Issue identified as high-priority labels Aug 1, 2018
@DonJayamanne DonJayamanne mentioned this issue Aug 5, 2018
Closed
@MikhailArkhipov
Copy link

openFilesOnly is set to true, right?

@MikhailArkhipov MikhailArkhipov self-assigned this Aug 6, 2018
@DonJayamanne
Copy link
Author

Will check

@DonJayamanne DonJayamanne self-assigned this Aug 6, 2018
@brettcannon brettcannon added info-needed Issue requires more information from poster and removed needs PR labels Aug 9, 2018
@DonJayamanne
Copy link
Author

DonJayamanne commented Aug 14, 2018 •
edited
Loading

Can confirm this is still a problem.
openFilesOnly = true

@DonJayamanne DonJayamanne added needs PR and removed info-needed Issue requires more information from poster labels Aug 14, 2018
@DonJayamanne DonJayamanne removed their assignment Aug 14, 2018
@jan11011977
Copy link

NOTE: This problem also occurs without the new language server (with "python.jediEnabled": true, the default). See the original issue for repro details (#2085)

@qubitron qubitron removed the important Issue identified as high-priority label Oct 31, 2018
@darrickyee darrickyee mentioned this issue Nov 9, 2018
Closed
@DonJayamanne DonJayamanne mentioned this issue Nov 12, 2018
Closed
@gramster gramster added the area-editor-* User-facing catch-all label Oct 10, 2019
@luabud
Copy link
Member

luabud commented Mar 11, 2020

I believe this is not happening anymore. Feel free to open a new ticket if you can still repro it though. Thanks!

@luabud luabud closed this as completed Mar 11, 2020
@ghost ghost removed the needs PR label Mar 11, 2020
@lock lock bot locked as resolved and limited conversation to collaborators Mar 21, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@MikhailArkhipov MikhailArkhipov

Labels
area-editor-* User-facing catch-all bug Issue identified by VS Code Team member as probable bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
7 participants
@brettcannon @jan11011977 @DonJayamanne @gramster @MikhailArkhipov @qubitron @luabud