/plugins/Navigator/tags/release-1-5/NavigatorPlugin.props

# · MSBuild · 70 lines · 55 code · 15 blank · 0 comment · 0 complexity · 2aa762786470a881429902f43015082b MD5 · raw file

  1. # $Id: NavigatorPlugin.props 9193 2007-03-22 01:42:12Z ezust $
  2. #-----------------------------------
  3. # Properties for Navigator Plugin
  4. #-----------------------------------
  5. plugin.ise.plugin.nav.NavigatorPlugin.name=Navigator
  6. plugin.ise.plugin.nav.NavigatorPlugin.author=Dale Anson and Alan Ezust
  7. plugin.ise.plugin.nav.NavigatorPlugin.version=1.5
  8. plugin.ise.plugin.nav.NavigatorPlugin.activate=startup
  9. plugin.ise.plugin.nav.NavigatorPlugin.description=The Navigator Plugin \
  10. provides a set of "Back" and "Forward" actions similar to a web browser. \
  11. This is surprisingly handy.
  12. # dependencies
  13. plugin.ise.plugin.nav.NavigatorPlugin.depend.0=jdk 1.4
  14. plugin.ise.plugin.nav.NavigatorPlugin.depend.1=jedit 04.03.05.00
  15. # docs
  16. plugin.ise.plugin.nav.NavigatorPlugin.docs=index.html
  17. option pane settings
  18. plugin.ise.plugin.nav.NavigatorPlugin.option-pane=navigator
  19. options.navigator.label=Navigator
  20. options.navigator.code=new ise.plugin.nav.OptionPanel(ise.plugin.nav.NavigatorPlugin.NAME);
  21. # title for DockableWindowManager
  22. Navigator.title=Navigator
  23. Navigator.label=Navigator
  24. #----------------
  25. # menu settings
  26. #----------------
  27. # this is the text that will be shown on the jEdit plugin
  28. # menu. It is read by jEdit via the createMenuItems method in
  29. # HelloPlugin. This line must start with the string passed to
  30. # the GUIUtilities.loadMenu method in createMenuItems.
  31. navigator.menu.label=Navigator
  32. # this setting describes the submenu. Each menu item is listed in the
  33. # order it is shown. The dash is a special character and will cause a
  34. # menu separator to be inserted. This line also must start with the string
  35. # passed to the GUIUtilities.loadMenu method in createMenuItems. The items
  36. # are the action names as set in the actions.xml file.
  37. plugin.ise.plugin.nav.NavigatorPlugin.menu=navigator.back navigator.backList navigator.forward navigator.forwardList navigator.showdockable
  38. #navigator.toolbar
  39. # the next three items are the labels to add to a submenu on
  40. # the plugins menu for the HelloPlugin. The plugins menu will have
  41. # a menu item labeled "Hello!" that has a submenu with "Show", "Hide",
  42. # and "Toggle". These lines start with the action names set in the
  43. # actions.xml file.
  44. navigator.back.label=Back
  45. navigator.back.icon=ArrowL.png
  46. navigator.backList.label=Back list
  47. navigator.backList.icon=ArrowD.png
  48. navigator.hidebuttons.label=Add Navigator Buttons
  49. navigator.showbuttons.label=Remove Navigator Buttons
  50. navigator.showdockable.label=Show Navigator Dockable
  51. navigator.forward.label=Forward
  52. navigator.forward.icon=ArrowR.png
  53. navigator.forwardList.label=Forward list
  54. navigator.forwardList.icon=ArrowU.png
  55. #navigator.toolbar.label=Show on toolbar