システムフォントの大きさ変更
何もしていないつもりなのに,アプリケーションのメニューフォントの大きさや
漢字変換する際の候補の表示がめちゃくちゃ小さくなった.
~/GNUstep/Defaults/WMGLOBAL
どうやらここの設定をいじればよいらしい
{ SystemFont = "sans"; BoldSystemFont = "sans:bold"; DefaultFontSize = 11; # <=ここを変更してみた AntialiasedText = Yes; FloppyPath = "/floppy"; DoubleClickTime = 250; MouseWheelUp = Button4; MouseWheelDown = Button5; }
windowmakerを再起動したら大きさが元に戻った.
素晴らしい.