/jEdit/tags/jedit-4-3-pre5/macros/Interface/Increase_Font_Size.bsh

# · Unknown · 38 lines · 31 code · 7 blank · 0 comment · 0 complexity · decd1fe16029ac9c09668b275ebba587 MD5 · raw file 

    

  1. /*
    2. 

  2. * Increase_Font_Size.bsh - a BeanShell macro for the jEdit text
    3. 

  3. * editor - Increases editor & gutter font size by 1.
    4. 

  4. *
    5. 

  5. * Copyright (C) 2003 Ollie Rutherfurd <oliver@rutherfurd.net>
    6. 

  6. *
    7. 

  7. * $Id: Increase_Font_Size.bsh 4938 2003-12-23 02:15:05Z spestov $
    8. 

  8. */
    9. 

  9. 

  10. increaseFontSize()
    11. 

  11. {
    12. 

  12. 	FONT_SIZE = "view.fontsize";
    13. 

  13. 	GUTTER_FONT_SIZE = "view.gutter.fontsize";
    14. 

  14. 	CONSOLE_FONT_SIZE = "console.fontsize";
    15. 

  15. 	size = jEdit.getIntegerProperty(FONT_SIZE,12) + 1;
    16. 

  16. 	jEdit.setIntegerProperty(FONT_SIZE,size);
    17. 

  17. 	jEdit.setIntegerProperty(GUTTER_FONT_SIZE,size);
    18. 

  18. 	jEdit.setIntegerProperty(CONSOLE_FONT_SIZE,size);
    19. 

  19. 	jEdit.propertiesChanged();
    20. 

  20. 	jEdit.saveSettings();
    21. 

  21. 	view.getStatus().setMessageAndClear("Font size now " + size);
    22. 

  22. }
    23. 

  23. 

  24. increaseFontSize();
    25. 

  25. 

  26. /*
    27. 

    28. 

  28. 	Macro index data (in DocBook format)
    29. 

    30. 

  30. <listitem>
    31. 

  31. 	<para><filename>Increase_Font_Size.bsh</filename></para>
    32. 

  32. 	<abstract><para>
    33. 

  33. 		Increases the font size in the gutter and text area by 1 point.
    34. 

  34. 	</para></abstract>
    35. 

  35. </listitem>
    36. 

    37. 

  37. */
    38.