1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
/*
* 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 21353 2012-03-14 09:46:51Z jojaba_67 $
*/
//Localization
final static String FontSizeMessage = jEdit.getProperty("macro.rs.ChangeFontSize.FontSize.message", "Font size now:");
//Process
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(FontSizeMessage + " " + 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>
*/
|
