日: 2019年12月9日

USキーボードになって、とかくイライラしていたキー配列への適応を、強引な方法で突破したので、次に細かな設定を変更していく。基本的には文字を入力することが多いので、その辺りの操作を気持ちよく行うための設定変更だ。 まずは、...