忘れそうなのでメモ

"環境設定..."→"表示"→"フォント"

で日本語フォントを弄ると、表示が悲しいことに。

"環境設定..."→"表示"→"フォント"→"詳細設定..."

から変更すること。
でも詳細設定だとサイズは指定出来ないから、サイズの変更もしたい場合は「ペインでサイズを設定後、詳細でフォントを指定」しなきゃいけない。*1
日本語サイトがあるほどやる気があるスタッフがいたはずなんだが…どうしてしまったのだろう？

*1:フォントのサイズだけを変えたい場合も同じ手順を踏まないとグダグダになる。