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
たぶん同じ方式でフォントも指定できるんだろう。
こんどやってみよう。