home *** CD-ROM | disk | FTP | other *** search
- /**
- Change the point size of the font on the specified component, to ptsize.
- This is just a convenience for playing with GUI components.
- */
-
- 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;
- }
-
-