@Override
public void setFont(final Font f) {
dfont = f;
bfont = f.deriveFont(Font.BOLD);
font(f);
}
/**
* Sets the current font.
*
* @param f font
*/
private void font(final Font f) {
font = f;
off = f.getSize() + 1 >> 2;
fontH = f.getSize() + off;
fwidth = GUIConstants.fontWidths(f);
}