coq_nvim
coq_nvim copied to clipboard
Feature Request: allow snippets to keep default value
The marks in snippets are defined as ${1:Value}. I would like to be able to skip this mark (Keep the first mark as Value), and move to the next one. This is the standard behavior of emacs' yasnippet and I found it to be very useful.
Would this be possible?
This is a link from the yasnippet documentation showing a demo: https://www.youtube.com/watch?v=ZCGmZK4V7Sg
I think this is a great idea. @ms-jpq , if you agree, I can take a stab at doing it since it's a feature I myself will find useful.