"CalcPanel" is not a supported Lean widget type.

Julian / lean.nvim

Neovim support for the Lean theorem prover

MIT License

276 stars 27 forks source link

"CalcPanel" is not a supported Lean widget type. #352

Open jcommelin opened 2 months ago

jcommelin commented 2 months ago

I opened some PR in neovim and I got the following warning:

"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:

Julian commented 2 months ago

Hah, yes! Support for selection panel widgets (including this one for calc) will come at some point soon hopefully, I need to play around with how to make the UX work. Thanks for the issue.