command 'extension.coq.stepForward' not found

[jonleivent]

When restarting vs code, with it immediately automatically opening an existing Coq script, and doing Ctl-Alt-Down, get the warning: command 'extension.coq.stepForward' not found.

This doesn't happen all of the time, but enough to be frustrating...

[siegebell]

This happens if you attempt to access vscoq's functions before it has been loaded by vscode. There's not much I can do about it directly, but maybe file a bug report with vscode because enabling an extension's keybindings before activating the extension is silly.

[siegebell]

blocked on Microsoft/vscode#10401

[veeara282]

Microsoft/vscode#10401 has been closed with the following explanation:

Yeah, closing this issue because we have the commandPalette section and context keys. A sample is here: https://code.visualstudio.com/updates/v1_10#_context-specific-visibility-of-command-palette-menu-items

[doehyunbaek]

I got this error, and for me it was because my vscode treated coq file as a verilog file, which made the vscode emit this message when I run step forward command.

If you check your bottom right corner and it says verilog it might help to change it to coq.