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

Published 20 hours ago • verified publisher icon Julian

Support folding goals in the infoview

Open Julian opened this issue 3 years ago • 0 comments

Via 'foldexpr' presumably.

Julian avatar May 28 '21 01:05 Julian