Dev: Inlay Hint Refresh Request

Stream: Emacs

[Mekeor Melire]

Do I see correctly, that Eglot does also not support inlay hint refresh requests?

[Yury G. Kudryashov]

I wouldn't be surprised if it's a Lean-specific extension.

[Notification Bot]

2 messages were moved here from #Emacs > inlayHint by Mekeor Melire.

[Yury G. Kudryashov]

Have a look at #general > Lean + Zed integration @ 💬

[Mekeor Melire]

This seems to document inlay hint refresh requests in the LSP specification: https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#workspace_inlayHint_refresh

[Notification Bot]

5 messages were moved here from #Emacs > Dev: Inlay Hint Refresh Requests by Mekeor Melire.

[Notification Bot]

6 messages were moved here from #Emacs > inlayHint by Mekeor Melire.