PageRenderTime 26ms CodeModel.GetById 21ms app.highlight 2ms RepoModel.GetById 1ms app.codeStats 0ms

/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* Increase_Font_Size.bsh - a BeanShell macro for the jEdit text
 3* editor - Increases editor & gutter font size by 1.
 4*
 5* Copyright (C) 2003 Ollie Rutherfurd <oliver@rutherfurd.net>
 6*
 7* $Id: Increase_Font_Size.bsh 4938 2003-12-23 02:15:05Z spestov $
 8*/
 9
10increaseFontSize()
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
24increaseFontSize();
25
26/*
27
28	Macro index data (in DocBook format)
29
30<listitem>
31	<para><filename>Increase_Font_Size.bsh</filename></para>
32	<abstract><para>
33		Increases the font size in the gutter and text area by 1 point.
34	</para></abstract>
35</listitem>
36
37*/
38