Feature Request: Provide a way to show the type information for a binding on hover

[njlr]

Is your feature request related to a problem? Please describe.

feature request

When I hover over a binding, I can see the name of its type. Usually, I would like to see more information about the type. For example, for a record I would like to see the members of the record.

Describe the solution you'd like

I would like the ability to hover over the type name in the pop-up for a binding, which would show another pop-up with the type information.

So:

• When I hover over binding...
• Ionide shows a pop-up with its type name...
• And when I hover over the type name in that pop-up...
• Ionide shows an additional pop-up with the type information

Describe alternatives you've considered

Currently I have to Right Click -> Go to Type Definition, but then I have navigated away from the code I am working on.

Additional context

None

[open-collective-bot[bot]]

Hey @njlr 👋,

Thank you for opening an issue. We will get back to you as
soon as we can. Also, check out our OpenCollective and consider
backing us.

https://opencollective.com/ionide

PS.: We offer backer support for all backers. Don't forget to add backer label when you start backing us 😄

[cartermp]

This is a core tooling behavior in the compiler service itself, where bindings corresponding to a record just shows the name of the record. This is consistent with object definitions as well.

I suppose this is a call for maintainers of Ionide to see if they want to deviate from the core FCS behavior or not.