Fonts早速これを使ったディフォルト・フォントの設定にしてみた。やっても、従来と同様、フォント間隔が大きくなりすぎて使い物にならない。選ぶしか選択肢は無い。従来通り選ばれている模様。何の影響も与えていない。上でそれぞれ略同じになる事が確認できた。設定やってみての「予想」が正しかった。今ではこれが最適に思える。変わったのか......。方が美しく見えたのは、フォントサイズが大きかったせいかも知れない。)という事で、この方面においても、「大勢に影響なし」という事になってしまった。