Feature request: jump to next argument

[fjchen7]

I am using cmp for auto-completion. For method completion cmp may complete arguments together for placeholder.

For example, this is what it look like after completion. The first argument is selected and I can type any key to delete it.

After typing,

What I want is: in the second screenshot, if I presse <tab> then cursor jumps to second argument and select it.

• If I type any non-<tab> key then I start to replace.
• If I press <tab> again, then leave it and jump to next argument.

Actually this is what VSCode does for method completion right now.

[abecodes]

Hi @fjchen7,

that is smth that should be handled by cmp for you.
I use coq, which adds markers around each param, so I can jump through and update them.
My guess would be, that any other completion tool should offer smth like that as well.

If this functionality is still needed, I would not mind to accept a PR.