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

Open mseri opened this issue 7 years ago • 2 comments

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.

Jun 13 '18 12:06 mseri

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

Oct 15 '18 13:10 varkor

This workaround worked for me on macOS 10.13.6: https://github.com/atom/atom/issues/1669#issuecomment-135503562

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

Oct 30 '18 15:10 tomprogers