ホストキーの変更 ここ最近、ホストキーの変更ができなくて困っていた。 ホストキー設定欄の表示を変えても、環境設定を終えたあと再度見てみると 元の戻っている。 旧UI （環境設定の入力タブで設定するのがホストキーのみ） では問題なかったと思うが、新U…