Skip to content

MarkupContent in Hover lacks support for "regions" #518

@Gama11

Description

@Gama11

(as discussed in microsoft/vscode-languageserver-node#328 and microsoft/vscode-languageserver-node#374)

When using MarkedString[] as a Hover's contents, a client can interpret this as different "regions" and format it accordingly, e.g. with a horizontal separator like VSCode does. However, MarkedString is deprecated, and this can't be communicated with MarkupContent. So effectively, one is forced to use deprecated API to achieve this formatting right now.

Perhaps MarkupContent[] could be allowed as a possible type for Hover.contents as well to remedy this.

Metadata

Metadata

Assignees

No one assigned

    Labels

    feature-requestRequest for new features or functionalityhelp wantedIssues identified as good community contribution opportunities

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions