"CalcPanel" is not a supported Lean widget type.
Open
enhancement
- Dominant language
- Lua
- Stars
- 581
- Forks
- 60
- Avg merge
- 4d 12h
- Merged PRs (30d)
- 2
Description
I opened some PR in neovim and I got the following warning:
```text
"CalcPanel" is not a supported Lean widget type.
If you think it could be, please file an issue with lean.nvim!
```
I'm just doing what I'm told to do :wink:
Contributor guide
Assessment
This issue has not been assessed yet.