The VsCode pluging does not seem to uninstall properly

impermeable / coq-waterproof

GNU Lesser General Public License v3.0

29 stars 9 forks source link

The VsCode pluging does not seem to uninstall properly #42

Closed jnarboux closed 7 months ago

jnarboux commented 7 months ago

Hello,

I had problems with coq-waterproof plugin in VsCode, so I uninstalled it. I shut down VsCode et reopened it. When I try to load a .v file waterproof still seems to be still here, it says waterproof failed to start, etc...

How to completly remove waterproof from vscode ?

jnarboux commented 7 months ago

Sorry it seems that uninstalling is not enough, one need to desactivate the plugin.