public static Font BoldUserFixedPitchFontOfSize (int size) {
if (size >= _boldUserFixedPitchFonts.Length) {
return new Font ("Monospace", FontOptions.Bold, size);
}
else {
var f = _boldUserFixedPitchFonts[size];
if (f == null) {
f = new Font ("Monospace", FontOptions.Bold, size);
_boldUserFixedPitchFonts[size] = f;
}
return f;
}
}