/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

  1. bsh.help.setFont = "usage: setFont( Component comp, int ptsize )";
  2. import java.awt.*;
  3. Font setFont( Component comp, int ptsize ) {
  4. font = comp.getFont();
  5. f = font.getFamily();
  6. s = font.getStyle();
  7. font = new Font( f, s, ptsize );
  8. comp.setFont( font );
  9. comp.validate();
  10. return font;
  11. }