システムフォントの大きさ変更

何もしていないつもりなのに,アプリケーションのメニューフォントの大きさや
漢字変換する際の候補の表示がめちゃくちゃ小さくなった.

~/GNUstep/Defaults/WMGLOBAL


どうやらここの設定をいじればよいらしい

{
  SystemFont = "sans";
  BoldSystemFont = "sans:bold";
  DefaultFontSize = 11;         # <=ここを変更してみた
  AntialiasedText = Yes;
  FloppyPath = "/floppy";
  DoubleClickTime = 250;
  MouseWheelUp = Button4;
  MouseWheelDown = Button5;
}

windowmakerを再起動したら大きさが元に戻った.
素晴らしい.