Closed RRethy closed 3 years ago
Turns out some servers (pyls) use these instead of Text for DocumentHighlightKind so I should add them to the docs.
Text
Turns out some servers (pyls) use these instead of
Text
for DocumentHighlightKind so I should add them to the docs.