[ty] avoid zero-project panics after removing the last workspace #25367
ty_server: avoid zero-project panics after workspace removal
832ea975
fallintoplace
marked this pull request as ready for review 27 days ago
MichaReiser
changed the title ty server: avoid zero-project panics after removing the last workspace [ty] avoid zero-project panics after removing the last workspace 25 days ago
Preserve open documents across workspace removal
80771ad9
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub