// フォントサイズ切替 (2010/11/20) $curr = getconfig("FontPoint") + "." + getconfig("FontDecimal"); // 10.5 ポイント → 9 ポイント if ($curr == "10.5") { config "xFontPoint:9 xFontDecimal:0"; } // その他 → 10.5 ポイント else { config "xFontPoint:10 xFontDecimal:5"; }