PageRenderTime 80ms CodeModel.GetById 77ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/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
 1
 2bsh.help.setFont = "usage: setFont( Component comp, int ptsize )";
 3
 4import java.awt.*;
 5
 6Font setFont( Component comp, int ptsize ) {
 7    font = comp.getFont();
 8    f = font.getFamily();
 9    s = font.getStyle();
10    font = new Font( f, s, ptsize );
11    comp.setFont( font );
12	comp.validate();
13    return font;
14}
15