Skip to content

Change hover to use MarkupContent #45

Closed
@gnikit

Description

@gnikit

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

Metadata

Metadata

Assignees

Labels

enhancementNew feature or requesthelp wantedExtra attention is needed

Type

No type

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions