bsh.help.setFont = "usage: setFont( Component comp, int ptsize )";

import java.awt.*;

Font setFont( Component comp, int ptsize ) {
    font = comp.getFont();
    f = font.getFamily();
    s = font.getStyle();
    font = new Font( f, s, ptsize );
    comp.setFont( font );
	comp.validate();
    return font;
}