-
Notifications
You must be signed in to change notification settings - Fork 31
Keyboard Shortcuts
Federico Ponzi edited this page Oct 19, 2024
·
3 revisions
This page was moved to https://docs.tlapl.us/using:vscode:keyboard_shortcuts
The extension provides various commands, at least some of which you'll probably want to use often enough to have keyboard shortcuts for them. The extension purposefully doesn't provide predefined shortcuts to not meddle with the existing user settings.
To set a shortcut for a command:
- Open the Keyboard shortcuts editor.
- Find the command you'd like to have a shortcut to by typing its name. You can type 'TLA+' to see all the TLA+-related commands.
- Select the command and specify a shortcut for it.
Tip: In fact, the command "TLA+: Parse module" is so useful that you might like the idea of making it run automatically when you save a .tla file.