1
0
Fork 0
Commit Graph

3 Commits (6894d85aaf2907d72db443f1a8b0a8d52f640900)

Author SHA1 Message Date
Sara Itani 0de7ba8335 Ensure diagnostics are cleared on file deletion (#319)
* Ensure diagnostics are cleared on file deletion
Previously, error diagnostics would not be cleared when a file was deleted while it was closed. This would result in lingering errors in the problems view that could only be cleared by reloading the language server. This fix addresses the issue by adding support for workspace/didChangeWatchedFiles and automatically clearing diagnostics for deleted files.

* add FileEvent constructor
2017-03-01 11:18:37 +01:00
Felix Becker 3b02010097 Update 2016-08-22 22:43:33 +02:00
Felix Becker 64e496fac9 Update 2016-08-22 17:32:31 +02:00