Closed martskins closed 3 years ago
This PR fixes an issue with highlight namespacing that would result in not being able to differentiate diagnostic highlights over document highlights when clearing them.
This PR fixes an issue with highlight namespacing that would result in not being able to differentiate diagnostic highlights over document highlights when clearing them.