PageRenderTime 106ms CodeModel.GetById 103ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/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
 1/*
 2* Decrease_Font_Size.bsh - a BeanShell macro for the jEdit text
 3* editor - Decreases editor & gutter font size by 1.
 4*
 5* Copyright (C) 2003 Ollie Rutherfurd <oliver@rutherfurd.net>
 6*
 7* $Id: Decrease_Font_Size.bsh 4937 2003-12-22 04:14:55Z spestov $
 8*/
 9
10decreaseFontSize()
11{
12	FONT_SIZE = "view.fontsize";
13	GUTTER_FONT_SIZE = "view.gutter.fontsize";
14	CONSOLE_FONT_SIZE = "console.fontsize";
15	size = jEdit.getIntegerProperty(FONT_SIZE,12) - 1;
16	jEdit.setIntegerProperty(FONT_SIZE,size);
17	jEdit.setIntegerProperty(GUTTER_FONT_SIZE,size);
18	jEdit.setIntegerProperty(CONSOLE_FONT_SIZE,size);
19	jEdit.propertiesChanged();
20	jEdit.saveSettings();
21	view.getStatus().setMessageAndClear("Font size now " + size);
22}
23
24decreaseFontSize();
25
26/*
27
28	Macro index data (in DocBook format)
29
30<listitem>
31	<para><filename>Decrease_Font_Size.bsh</filename></para>
32	<abstract><para>
33		Decreases the font size in the gutter and text area by 1 point.
34	</para></abstract>
35</listitem>
36
37*/
38