☰

VS Code Shortcuts

Helper functions for coding on VS Code in the browser (vscode.dev)

  1. // ==UserScript==
  2. // @name         VS Code Shortcuts
  3. // @namespace    http://tampermonkey.com
  4. // @version      1
  5. // @description  Helper functions for coding on VS Code in the browser (vscode.dev)
  6. // @match        https://*.vscode.dev/*
  7. // @license      MIT
  8. // @grant        none
  9. // ==/UserScript==
  10.  
  11. (function() {
  12.     'use strict';
  13.  
  14.     // Add a shortcut to open the command palette
  15.     document.addEventListener('keydown', function(event) {
  16.         if (event.ctrlKey && event.shiftKey && event.key === 'P') {
  17.             document.querySelector('.command-palette').click();
  18.         }
  19.     });
  20.  
  21.     // Add a shortcut to toggle the sidebar
  22.     document.addEventListener('keydown', function(event) {
  23.         if (event.ctrlKey && event.key === 'B') {
  24.             document.querySelector('.activitybar .toggle-more').click();
  25.         }
  26.     });
  27.  
  28.     // Add a shortcut to toggle the terminal
  29.     document.addEventListener('keydown', function(event) {
  30.         if (event.ctrlKey && event.key === '`') {
  31.             document.querySelector('.panel-switcher .terminal').click();
  32.         }
  33.     });
  34.  
  35.     // Add a shortcut to toggle the output panel
  36.     document.addEventListener('keydown', function(event) {
  37.         if (event.ctrlKey && event.altKey && event.key === 'O') {
  38.             document.querySelector('.panel-switcher .output').click();
  39.         }
  40.     });
  41.  
  42.     // Add a shortcut to toggle the problems panel
  43.     document.addEventListener('keydown', function(event) {
  44.         if (event.ctrlKey && event.altKey && event.key === 'P') {
  45.             document.querySelector('.panel-switcher .problems').click();
  46.         }
  47.     });
  48.  
  49.     // Add a shortcut to toggle the search panel
  50.     document.addEventListener('keydown', function(event) {
  51.         if (event.ctrlKey && event.shiftKey && event.key === 'F') {
  52.             document.querySelector('.panel-switcher .search').click();
  53.         }
  54.     });
  55.  
  56. })();