昨日変更した数字レイヤーの拡張についてですが、ここまでの考え方を書いておきます。まず数字を使いたいパターンを以下の３つに分類し変更を行いました。 １．通常通り入力したい 記号と解釈して記号面のダイアログ経由でSpace+文字キーで出力します。２．…