PageRenderTime 46ms CodeModel.GetById 20ms RepoModel.GetById 0ms app.codeStats 0ms

/jEdit/tags/jedit-4-3-pre5/jars/QuickNotepad/QuickNotepad.props

#
MSBuild | 65 lines | 50 code | 15 blank | 0 comment | 6 complexity | ee149ca0d3bf54267ee3cd05573e8c41 MD5 | raw file
Possible License(s): BSD-3-Clause, AGPL-1.0, Apache-2.0, LGPL-2.0, LGPL-3.0, GPL-2.0, CC-BY-SA-3.0, LGPL-2.1, GPL-3.0, MPL-2.0-no-copyleft-exception, IPL-1.0
  1. # Properties file for QuickNotepad plugin
  2. # $Id: QuickNotepad.props 5520 2006-07-03 17:44:45Z vampire0 $
  3. # jEdit only needs to load the plugin the first time the user accesses it
  4. # the presence of this property also tells jEdit the plugin is using the new API
  5. plugin.QuickNotepadPlugin.activate=defer
  6. # These two properties are required for all plugins
  7. plugin.QuickNotepadPlugin.name=QuickNotepad
  8. plugin.QuickNotepadPlugin.author=John Gellene
  9. # version number == jEdit version number
  10. plugin.QuickNotepadPlugin.version=4.3
  11. # online help
  12. plugin.QuickNotepadPlugin.docs=index.html
  13. # we only have one dependency, jEdit 4.2, since we use the new plugin API
  14. plugin.QuickNotepadPlugin.depend.0=jedit 04.02.01.00
  15. # plugin menu
  16. plugin.QuickNotepadPlugin.menu=quicknotepad \
  17. - \
  18. quicknotepad.choose-file \
  19. quicknotepad.save-file \
  20. quicknotepad.copy-to-buffer
  21. # action labels for actions supplied by dockables.xml
  22. quicknotepad.label=QuickNotepad
  23. # action labels for actions supplied by actions.xml
  24. quicknotepad.choose-file.label=Choose notepad file
  25. quicknotepad.save-file.label=Save notepad file
  26. quicknotepad.copy-to-buffer.label=Copy notepad to buffer
  27. # plugin option pane
  28. plugin.QuickNotepadPlugin.option-pane=quicknotepad
  29. # Option pane activation BeanShell snippet
  30. options.quicknotepad.code=new QuickNotepadOptionPane();
  31. # Option pane labels
  32. options.quicknotepad.label=QuickNotepad
  33. options.quicknotepad.file=File:
  34. options.quicknotepad.choose-file=Choose
  35. options.quicknotepad.choose-file.title=Choose a notepad file
  36. options.quicknotepad.choose-font=Font:
  37. options.quicknotepad.show-filepath.title=Display notepad file path
  38. # window title
  39. quicknotepad.title=QuickNotepad
  40. # window toolbar buttons
  41. quicknotepad.choose-file.icon=Open.png
  42. quicknotepad.save-file.icon=Save.png
  43. quicknotepad.copy-to-buffer.icon=CopyToBuffer.png
  44. # default settings
  45. options.quicknotepad.show-filepath=true
  46. options.quicknotepad.font=Monospaced
  47. options.quicknotepad.fontstyle=0
  48. options.quicknotepad.fontsize=14
  49. # Setting not defined but supplied for completeness
  50. options.quicknotepad.filepath=