Keyboard Settings
ID
Options.Keyboard
Menu
Tools→Keyboard Settings…
Default Shortcut
Opens Options dialog with active
Keyboard settings
page.
#command