Open
gnikit
opened this issue 2 years ago
•
0 comments
The hover requests use the deprecated user interface MarkedString[]. We should change to MarkupContent which uses markdown to style the hover requests. we can then use our language ID to color our block see