public static Font SystemFontOfSize (int size) {
if (size >= _systemFonts.Length) {
return new Font ("SystemFont", FontOptions.None, size);
}
else {
var f = _systemFonts[size];
if (f == null) {
f = new Font ("SystemFont", FontOptions.None, size);
_systemFonts[size] = f;
}
return f;
}
}
public static Font UserFixedPitchFontOfSize (int size) {