/jEdit/tags/jedit-4-0-pre3/bsh/commands/setFont.bsh
# · Unknown · 15 lines · 11 code · 4 blank · 0 comment · 0 complexity · ae2e8962b58e9d26a44a61915a1b9fcd MD5 · raw file
- 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;
- }