vscode-ghc-simple icon indicating copy to clipboard operation
vscode-ghc-simple copied to clipboard

Published 20 hours ago • verified publisher icon dramforever

VSCode cached TextDocuments leading to limbo processes

Open dramforever opened this issue 4 years ago • 0 comments

Status

  • [ ] A workaround is available
  • [ ] A fix is written
  • [ ] A fix is released
  • [ ] The fixed version is on the marketplace.

I've noticed that when an editor is closed, another TextDocument is immediately opened and basically goes into 'limbo' where it is not actually in any editor, but still has all the attributes (isClosed == false, uri is right, etc.). Then when the user opens the file again and it is directly used in the new editor, and after that closing it does not go away and goes back into 'limbo'. I presume this is done so that the next time the file opens quickly.

This leads to an API request to get the 'real' editors: https://github.com/microsoft/vscode/issues/15178.

This means that GHCi processes not corresponding to any apparently open document may still exist as they. It can take up to 3 minutes for those to get cleared up. I do not know of a feasible way to fix this problem for now.

dramforever avatar Apr 16 '20 11:04 dramforever