Can this plugin be restarted?

[dbshch]

When debugging and editing the code I often meet some bugs in this plugin like wrong executed line or can't run with right segments. I need to close the file and proof view and reopen the file and run from the start. Does this plugin have an option to restart without closing the file? I tried all commands but none works. If not can this option be added? Mine environment is the latest VSC and plugin with coq version 8.8.1.

Thanks and Best Regards.

[varkor]

@dbshch: there's a > Coq: Reset command does this.