fix(coq_nvim): fix coq bindings

[tku137]

📑 Description

After coq is lazy loaded, meaning after the first autocompletion is triggered, it's default binding <C-h> for jump_to_mark (https://github.com/ms-jpq/coq_nvim/blob/coq/docs/SNIPS.md#snippets) clashes with AstroNVims window movement. Basically, as soon as coq is loaded, you can't switch to the left window anymore.

This is an attempt to fix that. I chose <C-t> to jump to the next snippet edit, which is absolutely a debatable choice. I think this clashes the least with both AstroNVims and Neovims default bindings.

[github-actions]

Review Checklist

Does this PR follow the [Contribution Guidelines](development guidelines)? Following is a partial checklist:

Proper conventional commit scoping:

• If you are adding a new plugin, the scope would be the name of the category it is being added into. ex. feat(utility): added noice.nvim plugin

• If you are modifying a pre-existing plugin or pack, the scope would be the name of the plugin folder. ex. fix(noice-nvim): fix LSP handler error

• Pull request title has the appropriate conventional commit type and scope where the scope is the name of the pre-existing directory in the project as described above

• README is properly formatted and uses fenced in links with <url> unless they are inside a [title](url)

• Proper usage of opts table rather than setting things up with the config function.

[Uzaaft]

@tku137 We use in astronvim, so i think we should use the same key here.

[tku137]

@Uzaaft sorry I can't follow. What do we use in astronvim? <C-H> is astronvims "move to left split. But this gets overwritten as soon as coq is loaded, because <C-H> is coq's default "jump to mark" binding. Instead of changing astronvim's split movement, I suggest to change coq's jump to mark here.

[Uzaaft]

@Uzaaft sorry I can't follow. What do we use in astronvim? <C-H> is astronvims "move to left split. But this gets overwritten as soon as coq is loaded, because <C-H> is coq's default "jump to mark" binding. Instead of changing astronvim's split movement, I suggest to change coq's jump to mark here.

Lol my message was written in haste.
In astronvim, we use tab to jump to the next node in a snippet. We should use the same here.

[tku137]

Good point, thanks. I just changed it.

[mehalter]

LGTM