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:

1. Open the Keyboard shortcuts editor.
2. 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.
3. 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.