gleam-lang/gleam
View on GitHubLSP: cleanup when a client has closed all files in a project
Open
#3,205 opened on May 27, 2024
help wanted
Repository metrics
- Stars
- (21,417 stars)
- PR merge metrics
- (Avg merge 10d 19h) (69 merged PRs in 30d)
Description
When the client has closed all files for a Gleam project:
- Unset all the diagnostics for that project
- Discard the engine for that project