setFont.bsh | searchcode

/jEdit/tags/jedit-4-0-pre5/bsh/commands/setFont.bsh

#
Unknown | 15 lines | 11 code | 4 blank | 0 comment | 0 complexity | ae2e8962b58e9d26a44a61915a1b9fcd MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0



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;
}