/jEdit/tags/jedit-4-3-pre5/macros/Interface/Decrease_Font_Size.bsh
Unknown | 38 lines | 31 code | 7 blank | 0 comment | 0 complexity | 5bd685ca5ec4ff3cc6c8851d8fa84e74 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
- /*
- * Decrease_Font_Size.bsh - a BeanShell macro for the jEdit text
- * editor - Decreases editor & gutter font size by 1.
- *
- * Copyright (C) 2003 Ollie Rutherfurd <oliver@rutherfurd.net>
- *
- * $Id: Decrease_Font_Size.bsh 4937 2003-12-22 04:14:55Z spestov $
- */
- decreaseFontSize()
- {
- FONT_SIZE = "view.fontsize";
- GUTTER_FONT_SIZE = "view.gutter.fontsize";
- CONSOLE_FONT_SIZE = "console.fontsize";
- size = jEdit.getIntegerProperty(FONT_SIZE,12) - 1;
- jEdit.setIntegerProperty(FONT_SIZE,size);
- jEdit.setIntegerProperty(GUTTER_FONT_SIZE,size);
- jEdit.setIntegerProperty(CONSOLE_FONT_SIZE,size);
- jEdit.propertiesChanged();
- jEdit.saveSettings();
- view.getStatus().setMessageAndClear("Font size now " + size);
- }
- decreaseFontSize();
- /*
- Macro index data (in DocBook format)
- <listitem>
- <para><filename>Decrease_Font_Size.bsh</filename></para>
- <abstract><para>
- Decreases the font size in the gutter and text area by 1 point.
- </para></abstract>
- </listitem>
- */