v0.0.122
·
441 commits
to master
since this release
- Add language client support for snippets in text edits, enabling the use of snippets in code actions and widgets (c.f. leanprover/lean4#3054)
- Make user widget names optional now that user-widgets have been generalized to non-top-level widget declarations (c.f. leanprover/lean4#2963)