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
vscode-dotty: Fix hover functionality with old language server
The current unreleased version of vscode-dotty depends on a new version
of vscode-languageclient which parses hover messages in a stricter way,
and Dotty Language Server <= 0.9.x sends incorrect hover messages due to
a bug in lsp4j. The end result is that when using the current
vscode-dotty on a project with an old version of dotty, the hover shows
"[object Object]" instead of showing the type and documentation.
This commit works around this by manually parsing the hover message when
the server version is too old.
0 commit comments