visual-studio-code - 如何创建 VSCode 绑定以有效地输入 bra 和 ket

Answer 1

VSCode customization supports a type command which does exactly that - types in its argument. In order to create an entry for a keybinding, open the command prompt (Ctrl+Shift+P or ⌘+Shift+P on Mac) and type Preferences: Open Keyboard Shortcuts (JSON) and insert entries of the form:

{
    "key": "<key-binding>",
    "command": "type",
    "args": {
        "text": "<character>"
    }
}

where <key-binding> is the usual description of the keybinding and <character> is the desired character literal. So, for the bra-ket case above, my customization looks like this:

[
    {
        "key": "ctrl+shift+.",
        "command": "type",
        "args": {
            "text": "⟩"
        }
    },
    {
        "key": "ctrl+shift+,",
        "command": "type",
        "args": {
            "text": "⟨"
        }
    }
]