jEdit Community - Resources for users of the jEdit Text Editor
Menu Editor for jEdit (MenuEditor.jar v0.1 by Shlomy Reinstein)
Submitted by shlomy on Friday, 13 August, 2010 - 10:29
This plugin enables you to customize the jEdit menus (File / Edit / Search ...). After customizing the menus, the changes are saved as a "diff" and applied on each jEdit startup, so that changes to the menus by future versions of jEdit are not masked out. For this, the plugin depends on JDiffPlugin. As the currently released version of JDiffPlugin contains a few bugs, the zip file attached here contains also a fixed version of JDiffPlugin. (14 Aug) Added a button for adding separators to the menu. Replaced the plugin's submenu with a single menu item.

Updated on 08/14/2010 - 20:18
Downloads: 575

User login
Browse archives
« January 2018  
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
31
 
Poll
Are you interested in language packs for jEdit?
Yes, and I could help maintain translations
26%
Yes, I'd like to have translations
33%
Indifferent
35%
No, that'd be bad (please comment)
7%
Total votes: 1092
Syndication
file   ver   dls
German Localization light   4.4.2.1   50949
Context Free Art (*.cfdg)   0.31   41173
JBuilder scheme   .001   17002
BBEdit scheme   1.0   16602
ColdFusion scheme   1.0   16586
R Edit Mode - extensive version   0.1   14869
Advanced HTML edit mode   1.0   14046
Matlab Edit Mode   1.0   13984
jEdit XP icons   1.0   13417
XP icons for jEdit   1.1   12440