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

How to create VSCode bindings to input bra and ket efficiently

我目前正在使用 VSCode 进行 Q# 编程。为了清楚起见,有时需要在注释中包含简单的量子位表达式。当然可以使用常规的尖括号(例如 |00><00|),但使用适当的 Unicode 字符(例如 |00⟩ 或 [=16] 看起来更好=]).在需要时复制和粘贴这些字符有点麻烦,因此最好在 VSCode 中设置键绑定以达到此目的。实际上,我希望能够配置 VSCode 以便快速访问我目前可能感兴趣的任何字符选择。

VSCode 自定义支持 type 命令,该命令正是这样做的 - 输入其参数。要为键绑定创建条目,请打开命令提示符(Ctrl+Shift+P⌘+Shift+P on Mac) 并键入 Preferences: Open Keyboard Shortcuts (JSON) 并插入以下形式的条目:

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

其中 <key-binding> 是键绑定的通常描述,<character> 是所需的字符文字。因此,对于上面的 bra-ket 案例,我的定制如下所示:

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