Как создать привязки VSCode для эффективного ввода бюстгальтера и ке - PullRequest
Новая
       66

Как создать привязки VSCode для эффективного ввода бюстгальтера и ке

0 голосов
/ 16 марта 2020

Я сейчас использую VSCode для Q# программирования. Это иногда влечет за собой включение простых выражений кубита в комментарии для ясности. Конечно, можно просто использовать обычные угловые скобки (например, |00> или <00|), но это выглядит лучше, если использовать соответствующие символы Unicode (например, |00⟩ или ⟨00|). Копирование и вставка этих символов в случае необходимости немного обременительно, поэтому было бы неплохо иметь сочетания клавиш в VSCode только для этой цели. На самом деле, я хотел бы иметь возможность настроить VSCode для быстрого доступа к любому выбору символов, которые могут быть мне интересны в данный момент.

1 Ответ

0 голосов
/ 16 марта 2020
Настройка

VSCode поддерживает команду type, которая делает именно это - вводит в своем аргументе. Чтобы создать запись для связывания клавиш, откройте командную строку ( Ctrl + Shift + P или ⌘ + Shift + P для Ma c) и введите Preferences: Open Keyboard Shortcuts (JSON) и вставьте записи в форме: 

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

, где <key-binding> - это обычное описание привязки клавиш, а <character> - желаемый символьный литерал. Итак, для приведенного выше случая с браслетом моя настройка выглядит следующим образом: 

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