Menu Editor for jEdit (MenuEditor.jar v0.1 by Shlomy Reinstein)
Submitted by 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: 843
