public void setFont(SFont font) { boolean changed = attributes.putAll(CSSStyleSheet.getAttributes(font)); if (changed) { reload(ReloadManager.RELOAD_STYLE);
public void setFont(Font f) { if (f == null) { setFont((SFont)null); return;
    public void setFont(SFont font) {        boolean changed = attributes.putAll(CSSStyleSheet.getAttributes(font));        if (changed) {            reload(ReloadManager.RELOAD_STYLE);        }    }