PageRenderTime 46ms CodeModel.GetById 21ms RepoModel.GetById 0ms app.codeStats 0ms

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

#
Unknown | 19 lines | 15 code | 4 blank | 0 comment | 0 complexity | b375a8dbbb2df6b808bfe2ff8ef754d1 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 
    

  1. /**
    2. 

  2. 	Change the point size of the font on the specified component, to ptsize.
    3. 

  3. 	This is just a convenience for playing with GUI components.
    4. 

  4. */
    5. 

  5. 

  6. bsh.help.setFont = "usage: setFont( Component comp, int ptsize )";
    7. 

  7. 

  8. import java.awt.*;
    9. 

  9. 

  10. Font setFont( Component comp, int ptsize ) {
    11. 

  11.     font = comp.getFont();
    12. 

  12.     f = font.getFamily();
    13. 

  13.     s = font.getStyle();
    14. 

  14.     font = new Font( f, s, ptsize );
    15. 

  15.     comp.setFont( font );
    16. 

  16. 	comp.validate();
    17. 

  17.     return font;
    18. 

  18. }
    19. 

  19. 

  20.