フォントを変更するには、上のメニューから、
[システム]-[フォント] を選ぶ。
OSをインストールしたばかりのデフォルトのフォントサイズは10。私は、すべてのフォントサイズを9に変更している。モニターの解像度が 1024 x 768 の場合、フォントサイズを9にすると横80文字のGnomeターミナルを2個並べるときれいに収まるので気に入っている。
あとレンダリング形式は、「最適なシェイプ」だととてもぼやけた感じになってしまうので、「サブピクセルのスムージング」と言うのを選んでいる。まだちょっとぼやけているが、アンチエイリアスがないよりはましだと思う。
