Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
don't automatically dismiss zero width diagnostics
Normal diagnostics can be removed when all the text they cover has been removed. This is not the case for zero width diagnostics as these are not attached to any particular text. These diagnostics can not be automatically dismissed and must be mapped as a point instead of as a range to avoid that.
- Loading branch information