search

chrisgrieser / nvim-scissors

Automagical editing and creation of snippets.
MIT License
384 stars 4 forks source link

Is there a plan to support coq's snip #12

Closed ilan-schemoul closed 5 months ago

ilan-schemoul commented 8 months ago

Feature Requested

Coq uses its own format for snippet (.snip) and need :COQsnips to compile after modify snippets

Is it part of the scope of the project to support other formats or is out of scope ?

Relevant Screenshot

No response

Checklist

chrisgrieser commented 8 months ago

I personally do not use coq and therefore have no plans of my own to add support for them, but I am open for PRs adding support for it. The things specific to the vs-code format are already isolated into their own module.

ilan-schemoul commented 8 months ago

Ok. Personally I will not do this because looking at the code it's a bit too much work relative to how much I use snippets. I could not find an equivalent of your plugin for coq either, if someone knows lmk.

chrisgrieser commented 8 months ago

Yeah, it would have to be a bigger PR indeed.

To my knowledge, there is no other plugin that allows you to edit snippets the way scissors does.

ilan-schemoul commented 5 months ago

Well, You can close this. It makes more sense for this plugin to only focus on one standard instead of each non standard format. Anyway cmp UI is much better, snippet support is much better, it works with Noice etc. (I switched to cmp I don't see much future to coq)