/plugins/Navigator/tags/release-1-5/NavigatorPlugin.props
# · MSBuild · 70 lines · 55 code · 15 blank · 0 comment · 0 complexity · 2aa762786470a881429902f43015082b MD5 · raw file
- # $Id: NavigatorPlugin.props 9193 2007-03-22 01:42:12Z ezust $
- #-----------------------------------
- # Properties for Navigator Plugin
- #-----------------------------------
- plugin.ise.plugin.nav.NavigatorPlugin.name=Navigator
- plugin.ise.plugin.nav.NavigatorPlugin.author=Dale Anson and Alan Ezust
- plugin.ise.plugin.nav.NavigatorPlugin.version=1.5
- plugin.ise.plugin.nav.NavigatorPlugin.activate=startup
- plugin.ise.plugin.nav.NavigatorPlugin.description=The Navigator Plugin \
- provides a set of "Back" and "Forward" actions similar to a web browser. \
- This is surprisingly handy.
- # dependencies
- plugin.ise.plugin.nav.NavigatorPlugin.depend.0=jdk 1.4
- plugin.ise.plugin.nav.NavigatorPlugin.depend.1=jedit 04.03.05.00
- # docs
- plugin.ise.plugin.nav.NavigatorPlugin.docs=index.html
- option pane settings
- plugin.ise.plugin.nav.NavigatorPlugin.option-pane=navigator
- options.navigator.label=Navigator
- options.navigator.code=new ise.plugin.nav.OptionPanel(ise.plugin.nav.NavigatorPlugin.NAME);
- # title for DockableWindowManager
- Navigator.title=Navigator
- Navigator.label=Navigator
- #----------------
- # menu settings
- #----------------
- # this is the text that will be shown on the jEdit plugin
- # menu. It is read by jEdit via the createMenuItems method in
- # HelloPlugin. This line must start with the string passed to
- # the GUIUtilities.loadMenu method in createMenuItems.
- navigator.menu.label=Navigator
- # this setting describes the submenu. Each menu item is listed in the
- # order it is shown. The dash is a special character and will cause a
- # menu separator to be inserted. This line also must start with the string
- # passed to the GUIUtilities.loadMenu method in createMenuItems. The items
- # are the action names as set in the actions.xml file.
- plugin.ise.plugin.nav.NavigatorPlugin.menu=navigator.back navigator.backList navigator.forward navigator.forwardList navigator.showdockable
- #navigator.toolbar
- # the next three items are the labels to add to a submenu on
- # the plugins menu for the HelloPlugin. The plugins menu will have
- # a menu item labeled "Hello!" that has a submenu with "Show", "Hide",
- # and "Toggle". These lines start with the action names set in the
- # actions.xml file.
- navigator.back.label=Back
- navigator.back.icon=ArrowL.png
- navigator.backList.label=Back list
- navigator.backList.icon=ArrowD.png
- navigator.hidebuttons.label=Add Navigator Buttons
- navigator.showbuttons.label=Remove Navigator Buttons
- navigator.showdockable.label=Show Navigator Dockable
- navigator.forward.label=Forward
- navigator.forward.icon=ArrowR.png
- navigator.forwardList.label=Forward list
- navigator.forwardList.icon=ArrowU.png
- #navigator.toolbar.label=Show on toolbar