@sumim さんから「 じゅん 」を使ってフォントサイズを変更する方法を教えていただいた。こっちのほうが OS にインストールされているフォントも使えて簡単だった。ただ、こちらもフォントによっては描画とカーソルの位置がずれることがある。
まず、「じゅん」をインストールする。ランチャーのメニューから "System" -> "Load Parcels Named..." を選択する。 Parcel というのは、 VisualWorks のパッケージシステム。ウィンドウが開いたら、テキストフィールドに "Jun" と入力して検索し、 "OK" をクリックしてインストールする。
「じゅん」のランチャーのメニューから "Misc" -> "Font..." を選択する。
使えるフォントの一覧が表示されるので選択する。
Menlo に変更した様子。
「じゅん」のソースを見ると、こちらも TextAttributes を使うのは同じらしい。おいおい調べたい。