Julian / Julian/lean.nvim

Infoview tooltips should render their contents as markdown

Open
#329 1 comment 0 reactions 0 assignees View on GitHub
bug
Dominant language
Lua
Stars
581
Forks
60
Avg merge
4d 12h
Merged PRs (30d)
2

Description

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

![Screenshot 2024-01-14 at 10 07 13 AM](https://github.com/Julian/lean.nvim/assets/329822/115f4291-f1ca-4554-bef5-2c0d016e925d)

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

![Screenshot 2024-01-14 at 10 07 58 AM](https://github.com/Julian/lean.nvim/assets/329822/ecdd8fe0-be64-43cf-ac7c-41a6440520fa)

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.