Skip to content

Instantly share code, notes, and snippets.

@henryw374
Created January 5, 2026 17:00
Show Gist options
  • Select an option

  • Save henryw374/2b8af31425b35af0eada81004db21a8f to your computer and use it in GitHub Desktop.

Select an option

Save henryw374/2b8af31425b35af0eada81004db21a8f to your computer and use it in GitHub Desktop.

Revisions

  1. henryw374 created this gist Jan 5, 2026.
    5 changes: 5 additions & 0 deletions keybindings.json
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,5 @@

    [{"key": "f1", "command": "type",
    "args": { "text": "(" },
    "when": "editorTextFocus & !editorReadonly"}
    ]