lean.nvim icon indicating copy to clipboard operation
lean.nvim copied to clipboard
verified publisher icon Julian

"CalcPanel" is not a supported Lean widget type.

Open jcommelin opened this issue 1 year ago • 1 comments

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:

jcommelin avatar Aug 29 '24 06:08 jcommelin

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.

Julian avatar Aug 29 '24 12:08 Julian