[d5aad5]: MenuEditor.props Maximize Restore History

Download this file

MenuEditor.props    37 lines (30 with data), 1.3 kB

plugin.menuEditor.MenuEditorPlugin.activate=startup

# general plugin information
plugin.menuEditor.MenuEditorPlugin.name=Menu Editor
plugin.menuEditor.MenuEditorPlugin.author=Shlomy Reinstein
plugin.menuEditor.MenuEditorPlugin.version=0.5
plugin.menuEditor.MenuEditorPlugin.description=Allow editing of jEdit menus

plugin.menuEditor.MenuEditorPlugin.depend.0=jdk 1.6
plugin.menuEditor.MenuEditorPlugin.depend.1=jedit 04.03.99.00
plugin.menuEditor.MenuEditorPlugin.depend.2=plugin jdiff.JDiffPlugin 3.1.1

plugin.menuEditor.MenuEditorPlugin.docs=docs/MenuEditor.html

plugin.menuEditor.MenuEditorPlugin.menu-item=menu-editor

# actions
menu-editor.label=Menu Editor
menu-editor.menuBarEditor.title=Menu Bar Editor

# Strings
menu-editor.help=To change menus, use the buttons or drag & drop.
menu-editor.dialog.title=Menu Editor
menu-editor.ok=Ok
menu-editor.apply=Apply
menu-editor.cancel=Cancel
menu-editor.restoreDefaults=Restore defaults
menu-editor.actionSet=Action set:
menu-editor.actionSetItems=Available items:
menu-editor.menu=Menu:
menu-editor.items=Items:
menu-editor.editMenuBar=Edit the Menu Bar
menu-editor.bar=Menus:
menu-editor.newMenu=New menu name:
menu-editor.undeletable=Built-in menus cannot be removed.
menu-editor.separator=--- Separator ---