/**
* Set the console font style
*
* @param style one of {@link Font#BOLD}, {@link Font#ITALIC}, {@link Font#PLAIN} (default)
*/
public void setFontStyle(int style) {
if (style == Font.BOLD
|| style == Font.ITALIC
|| style == Font.PLAIN
|| style == (Font.BOLD | Font.ITALIC)) {
fontStyle = style;
} else {
fontStyle = Font.PLAIN;
}
updateFont(fontFamily, fontStyle, fontSize);
}
public void setFontFamily(String family) {
updateFont((fontFamily = family), fontStyle, fontSize);
}
/**
* Set the console font size
*
* @param size point size of font between 6 and 24 point
*/
public void setFontSize(int size) {
updateFont(fontFamily, fontStyle, (fontSize = size < 6 ? 6 : size > 24 ? 24 : size));
}
