tlaplus / vscode-tlaplus

TLA+ language support for Visual Studio Code
MIT License
357 stars 33 forks source link

Remove keybindings #309

Closed eddyashton closed 1 year ago

eddyashton commented 1 year ago

No existing commands include default keybindings, so I believe the new features in #307 should not have added keybindings.

This particular keybinding conflicts with existing system bindings, so removing this entirely will resolve #308.