siegebell/vscoq

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

Opened this issue · 2 comments

mseri commented

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 commented

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 commented

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.

  • 👍2