UI のフォントのサイズを変える

Factor の UI のフォントが小さい。
その初期値を変える方法が以前 ML で流れていたのでメモ。

~/.factor-boot-rc で dpi を適当に設定してブートイメージを作りなおす。

! -*- mode: factor ; -*-
USING: namespaces ui.freetype ;

90 dpi set-global

dpi の初期値は 72。
ブートイメージの作りなおしは、git からソースを持ってきておけば次のコマンドだけ

./build-support/factor.sh update

たぶん同じ方式でフォントも指定できるんだろう。
こんどやってみよう。