idris2-vim icon indicating copy to clipboard operation
idris2-vim copied to clipboard
verified publisher icon edwinb

MakeWith is broken

Open stephen-smith opened this issue 5 years ago • 0 comments

When I'm on a hole and I use <LocalLeader>w, it prints the with syntax, but it doesn't actually modify the buffer at all.

stephen-smith avatar May 27 '20 00:05 stephen-smith