jEdit Community - Resources for users of the jEdit Text Editor
Can I specify text area's font for each text mode?
Submitted by sy8111 on Friday, 28 July, 2006 - 10:52
If so, how to achieve that? Thanks
Comment viewing options
Select your preferred way to display the comments and click 'Save settings' to activate your changes.
macro and ActionHooks
by Robert Schwenn on Sat, 29/07/2006 - 20:44
1. No. - But:
2. When the following macro runs, fontsize is set depending on editmode.
3. Install ActionHooks plugin and assign this macro to the event "EditPaneUpdate.BUFFER_CHANGED". So it will run every time another buffer is shown...

Robert


//beanshell macro to set fontsize depending of editmode

void setFontsizeTo(int size) {
jEdit.setIntegerProperty("view.fontsize", size);
jEdit.propertiesChanged();
jEdit.saveSettings();
}

void runScript() {

mode = buffer.getMode().getName();
if (mode.equals("awk")) {
setFontsizeTo(16);
}
else if (mode.equals("text")) {
setFontsizeTo(14);
}
else {
setFontsizeTo(18);
}

}

runScript();
User login
Browse archives
« April 2025  
MoTuWeThFrSaSu
 
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
 
Poll
Are you interested in language packs for jEdit?
Yes, and I could help maintain translations
26%
Yes, I'd like to have translations
32%
Indifferent
35%
No, that'd be bad (please comment)
7%
Total votes: 1093
Syndication
file   ver   dls
German Localization light   4.4.2.1   107462
Context Free Art (*.cfdg)   0.31   46068
BBEdit scheme   1.0   18604
JBuilder scheme   .001   18505
ColdFusion scheme   1.0   18038
R Edit Mode - extensive version   0.1   17485
Advanced HTML edit mode   1.0   16219
Matlab Edit Mode   1.0   16083
jEdit XP icons   1.0   15242
XP icons for jEdit   1.1   14306