`COQLater` command to disable

[mcchrish]

Or maybe COQStop?

Another possible command is COQToggle which is self-explanatory.

When disabling however, it's probably great to revert the configs that coq have overwritten. https://github.com/ms-jpq/coq_nvim/blob/coq/coq/server/registrants/options.py

Related: https://github.com/hrsh7th/nvim-cmp/issues/106 Similar feature in COC: https://github.com/neoclide/coc.nvim/blob/08f742e4ff627f7e50240a1e5288dfb360dd3970/doc/coc.txt#L2437-L2455

[mcchrish]

Maybe some way to toggle sources for now. Like:

:COQEnable lsp
:COQDisable snippet

[ms-jpq]

good idea, will solve the issue where somebody wanted no completions.

[zach-is-my-name]

Any progress on disabling the plugin?

My User Story

I'm trying it out, but before I can dive into the config and make the popups relevant I need to get some work done without the distraction of popups that aren't helping me. Currently I'm disabling it by commenting it out in <Plug>, running :PlugClean, and killing and restarting the terminal window where I need to shelve COQ in order to get my shit done. This feels wrong because that COQstop command would let me disable it locally and persisting globally making it more likely I remember it's installed and make a go at configuring it properly, leading me to become a COQ addict 4 life