You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I appreciate there has been a load of work done surrounding the hover window etc. over the years, but I think there's one last bit that's missing.
Currently, the information I'm seeing in the hover window (based on the JLS source code) is the following:
I think what's crucially missing is the actual type of markup_kind in that context, as a result of calling _choose_markup(). I initially thought this information was stored in the "Full Name" field, but realised that's just the drill-down location of the variable.
Calling hover on _choose_markup() does indeed show def _choose_markup(server: JediLanguageServer) -> MarkupKind, therefore I find it reasonable to expect markup_kind to show that it's of type MarkupKind.
Basically, I'd expect to see the following in the dropdown window for markup_kind:
markup_kind [MarkupKind] = _choose_markup(server)
I have played around with the configuration, as well as going through the documentation, but haven't been able to come to a good solution for this.
I'm not 100% sure whether this is a bug or just a config issue, but any help on this would be greatly appreicated!
The text was updated successfully, but these errors were encountered:
I appreciate there has been a load of work done surrounding the hover window etc. over the years, but I think there's one last bit that's missing.
Currently, the information I'm seeing in the hover window (based on the JLS source code) is the following:
![image](https://private-user-images.githubusercontent.com/16577635/284342996-14b896fe-ad89-4f8f-9535-2316c18a7788.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3Mzk0NTQ4NjUsIm5iZiI6MTczOTQ1NDU2NSwicGF0aCI6Ii8xNjU3NzYzNS8yODQzNDI5OTYtMTRiODk2ZmUtYWQ4OS00ZjhmLTk1MzUtMjMxNmMxOGE3Nzg4LnBuZz9YLUFtei1BbGdvcml0aG09QVdTNC1ITUFDLVNIQTI1NiZYLUFtei1DcmVkZW50aWFsPUFLSUFWQ09EWUxTQTUzUFFLNFpBJTJGMjAyNTAyMTMlMkZ1cy1lYXN0LTElMkZzMyUyRmF3czRfcmVxdWVzdCZYLUFtei1EYXRlPTIwMjUwMjEzVDEzNDkyNVomWC1BbXotRXhwaXJlcz0zMDAmWC1BbXotU2lnbmF0dXJlPWQ0NjAzMmJiYjU0YTJmMzdkMmI3OWUzZTZmODUxNmM0NTZjYzgxNmQwOWMyMTM5ODhhYjdlMjMzYTUyNTJhMDUmWC1BbXotU2lnbmVkSGVhZGVycz1ob3N0In0.JAaQMG6CoGa7I6ik7mf4qljSzIZLlShq9diiwi9Ffa4)
I think what's crucially missing is the actual type of
markup_kind
in that context, as a result of calling_choose_markup()
. I initially thought this information was stored in the "Full Name" field, but realised that's just the drill-down location of the variable.Calling hover on
_choose_markup()
does indeed showdef _choose_markup(server: JediLanguageServer) -> MarkupKind
, therefore I find it reasonable to expectmarkup_kind
to show that it's of typeMarkupKind
.Basically, I'd expect to see the following in the dropdown window for
markup_kind
:I have played around with the configuration, as well as going through the documentation, but haven't been able to come to a good solution for this.
I'm not 100% sure whether this is a bug or just a config issue, but any help on this would be greatly appreicated!
The text was updated successfully, but these errors were encountered: