如何有效地创建 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": "⟨"
}
}
]
我目前正在使用 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": "⟨"
}
}
]