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