[editor] Add dark mode keyboard shortcut to the editor help
@@ -833,6 +833,7 @@ except ImportError, e:
},{
label: '${ _('Other')}',
shortcuts: [{ shortcut: 'Ctrl-Space', macShortcut: 'Ctrl-Space', description: '${ _('Autocomplete when Live Autocompletion is off')}' },
+ { shortcut: 'Ctrl-Alt-T', macShortcut: 'Command-Option-T', description: '${ _('Switch to/from dark editor theme')}' },
{ shortcut: 'Ctrl-i|Ctrl-Shift-f', macShortcut: 'Command-i|Command-Shift-f', description: '${ _('Format selection or all')}' },
{ shortcut: 'Tab', macShortcut: 'Tab', description: '${ _('Indent')}' },
{ shortcut: 'Shift-Tab', macShortcut: 'Shift-Tab', description: '${ _('Outdent')}' },
@@ -850,7 +851,7 @@ except ImportError, e:
},{
id: 'settings',
label: '${ _('Settings')}',
- shortcuts: [{ shortcut: 'Ctrl - ,', macShortcut: 'Command - ,', description: '${ _('Show the settings menu')}' }]
+ shortcuts: [{ shortcut: 'Ctrl - ,', macShortcut: 'Command - ,', description: '${ _('Show the settings menu where you can control autocomplete behaviour, syntax checker, dark theme and various editor settings.')}' }]
}];
self.query = ko.observable('');
