lean.nvim icon indicating copy to clipboard operation
lean.nvim copied to clipboard

Infoview tooltips should render their contents as markdown

Open Julian opened this issue 6 months ago • 1 comments

The built-in LSP hover handler properly renders hover popups as markdown, e.g.:

Screenshot 2024-01-14 at 10 07 13 AM

But our custom popups in the infoview (for tooltips) do not, see e.g.:

Screenshot 2024-01-14 at 10 07 58 AM

Julian avatar Jan 14 '24 15:01 Julian