この話の続き。 https://natroun.hatenadiary.jp/entry/2021/02/16/000000 IME を入れたり切ったりする話 キーボードのどのキーにIMEのON/OFFを割り振るか、という話で、Windowsだったらふつう「半角/全角」だけども（普通もなにもそのためのキーだ）トグル…