2020-11-02 Mac の IME で半角Space を実現した

Macだけが IME＝On で Space を押すと全角Space となり難儀していた．それがようやく解決．快適．

先人に感謝．--> 日本語入力時でも半角スペースが打てるようにしたい。