joe waine | design engineer
🔷 index.js × 🔷 previous.js × 🔷 about.md × 🔷 blog.json × 🔷 contact.json × 🔷 lotusvoice.py × 🔷 drawings.png × 🔷 audit.sh × 🔷 rebuild.sh × 🔒 client.private × 🔷 keybindings.json ×
☰ ⌕ ⎇ ⚙
// Place your key bindings in this file to override the defaults//// Browsers keep a few of these (ctrl/cmd+shift+t, ctrl/cmd+w, tab switching)// for themselves, and a web page never sees those keys. Every reserved// binding is left below, commented out, above the alt-based one that// actually works. "key" is Windows/Linux, "mac" is macOS.//// Not a key, but: the tabs up top drag to reorder, same as the real editor.//// This file is live. Click "edit this page" (bottom right), change a key or// a command, then ctrl/cmd+s. It is validated first — unknown commands, bad// key syntax and duplicate bindings are refused — and saved to this browser// only. On a Mac the "mac" column is the one that counts (the dimmed column// is the other platform). "reset" restores the defaults.[  { "key": "ctrl+p", "mac": "cmd+p", "command": "workbench.action.quickOpen" }, // Go to File...  { "key": "ctrl+shift+p", "mac": "cmd+shift+p", "command": "workbench.action.showCommands" }, // Show All Commands  // Reserved by the browser: it reopens its own last-closed tab instead.  // { "key": "ctrl+shift+t", "mac": "cmd+shift+t", "command": "workbench.action.reopenClosedEditor" },  { "key": "alt+shift+t", "command": "workbench.action.reopenClosedEditor" }, // View: Reopen Closed Editor  // Reserved by the browser: it closes its own tab instead.  // { "key": "ctrl+w", "mac": "cmd+w", "command": "workbench.action.closeActiveEditor", "when": "activeEditor" },  { "key": "alt+shift+w", "command": "workbench.action.closeActiveEditor", "when": "activeEditor" }, // View: Close Editor  { "key": "ctrl+k ctrl+w", "mac": "cmd+k cmd+w", "command": "workbench.action.closeAllEditors" }, // View: Close All Editors (ctrl+k w / cmd+k w works too)  // Reserved by the browser: it switches its own tabs instead.  // { "key": "ctrl+pagedown", "mac": "cmd+alt+right", "command": "workbench.action.nextEditor" },  { "key": "alt+shift+right", "command": "workbench.action.nextEditor" }, // View: Open Next Editor  // Reserved by the browser: it switches its own tabs instead.  // { "key": "ctrl+pageup", "mac": "cmd+alt+left", "command": "workbench.action.previousEditor" },  { "key": "alt+shift+left", "command": "workbench.action.previousEditor" }, // View: Open Previous Editor  { "key": "ctrl+b", "mac": "cmd+b", "command": "workbench.action.toggleSidebarVisibility" }, // View: Toggle Primary Side Bar Visibility  { "key": "ctrl+k ctrl+s", "mac": "cmd+k cmd+s", "command": "workbench.action.openGlobalKeybindingsFile" }, // Preferences: Open Keyboard Shortcuts (JSON)  { "key": "ctrl+s", "mac": "cmd+s", "command": "workbench.action.files.save", "when": "resourceFilename == 'keybindings.json'" }, // File: Save  { "key": "alt+1", "mac": "ctrl+1", "command": "workbench.action.openEditorAtIndex1" }, // View: Open First Editor in Group  { "key": "alt+2", "mac": "ctrl+2", "command": "workbench.action.openEditorAtIndex2" }, // View: Open Second Editor in Group  { "key": "alt+3", "mac": "ctrl+3", "command": "workbench.action.openEditorAtIndex3" }, // View: Open Third Editor in Group  { "key": "alt+4", "mac": "ctrl+4", "command": "workbench.action.openEditorAtIndex4" }, // View: Open Fourth Editor in Group  { "key": "alt+5", "mac": "ctrl+5", "command": "workbench.action.openEditorAtIndex5" }, // View: Open Fifth Editor in Group  { "key": "alt+6", "mac": "ctrl+6", "command": "workbench.action.openEditorAtIndex6" }, // View: Open Sixth Editor in Group  { "key": "alt+7", "mac": "ctrl+7", "command": "workbench.action.openEditorAtIndex7" }, // View: Open Seventh Editor in Group  { "key": "alt+8", "mac": "ctrl+8", "command": "workbench.action.openEditorAtIndex8" }, // View: Open Eighth Editor in Group  { "key": "alt+9", "mac": "ctrl+9", "command": "workbench.action.openEditorAtIndex9" }, // View: Open Ninth Editor in Group  // No default binding — run these from the command palette:  //   joewaine.toggleEditing     Edit: Toggle Editing This Page  //   joewaine.openDilloVersion  View: Open Plain HTML Version (Dillo)  //   joewaine.resetKeybindings  Preferences: Reset Keyboard Shortcuts to Defaults]
⎇ main ↻ 0 ⚠ 0
dillo version Ln 1, Col 1 UTF-8 JavaScript