Annoying bell sound when running Coq: Step Forward using the keybindings

[mseri]

I have vscoq installed on Visual Studio Code on osx. When I use Ctrl+Cmd+downarrow to step forward a bell like the terminal bell is playing a noise. I could not figure out how to disable it or why it happens. The other shortcuts are quiet.

[varkor]

This is a duplicate of #143. It's really annoying, but it's actually a longstanding bug with Electron (see microsoft/vscode#44070 and electron/electron#2617). I think one of the workarounds worked for me, so I'd try those.

[tomprogers]

This workaround worked for me on macOS 10.13.6: atom/atom#1669 (comment)

As is mentioned in another place, I had to mkdir the ~/Library/KeyBindings directory.