/jEdit/branches/4.4.x-merge-request-for-r18847-r18954-r19206-r19210/jars/QuickNotepad/QuickNotepad.props

# · MSBuild · 67 lines · 52 code · 15 blank · 0 comment · 0 complexity · 1e7a247b281c37c95a99e013f61c6c40 MD5 · raw file 

    

  1. # Properties file for QuickNotepad plugin
    2. 

  2. # $Id: QuickNotepad.props 6876 2006-09-02 20:39:49Z jchoyt $
    3. 

  3. 

  4. # jEdit only needs to load the plugin the first time the user accesses it
    5. 

  5. # the presence of this property also tells jEdit the plugin is using the new API
    6. 

  6. plugin.QuickNotepadPlugin.activate=defer
    7. 

  7. 

  8. # These two properties are required for all plugins
    9. 

  9. plugin.QuickNotepadPlugin.name=QuickNotepad
    10. 

  10. plugin.QuickNotepadPlugin.author=John Gellene
    11. 

  11. 

  12. # version number == jEdit version number
    13. 

  13. plugin.QuickNotepadPlugin.version=4.3
    14. 

  14. 

  15. # online help
    16. 

  16. plugin.QuickNotepadPlugin.docs=index.html
    17. 

  17. 

  18. # we only have one dependency, jEdit 4.2, since we use the new plugin API
    19. 

  19. plugin.QuickNotepadPlugin.depend.0=jedit 04.02.01.00
    20. 

  20. plugin.QuickNotepadPlugin.depend.1=jdk 1.4
    21. 

  21. 

  22. plugin.QuickNotepadPlugin.description=This plugin provides a dockable "scratch pad" for writing and displaying notes, to do lists or similar items as unformatted text.
    23. 

  23. # plugin menu
    24. 

  24. plugin.QuickNotepadPlugin.menu=quicknotepad \
    25. 

  25. 	- \
    26. 

  26. 	quicknotepad.choose-file \
    27. 

  27. 	quicknotepad.save-file \
    28. 

  28. 	quicknotepad.copy-to-buffer
    29. 

  29. 

  30. # action labels for actions supplied by dockables.xml
    31. 

  31. quicknotepad.label=QuickNotepad
    32. 

  32. 

  33. # action labels for actions supplied by actions.xml
    34. 

  34. quicknotepad.choose-file.label=Choose notepad file
    35. 

  35. quicknotepad.save-file.label=Save notepad file
    36. 

  36. quicknotepad.copy-to-buffer.label=Copy notepad to buffer
    37. 

  37. 

  38. # plugin option pane
    39. 

  39. plugin.QuickNotepadPlugin.option-pane=quicknotepad
    40. 

  40. 

  41. # Option pane activation BeanShell snippet
    42. 

  42. options.quicknotepad.code=new QuickNotepadOptionPane();
    43. 

  43. 

  44. # Option pane labels
    45. 

  45. options.quicknotepad.label=QuickNotepad
    46. 

  46. options.quicknotepad.file=File:
    47. 

  47. options.quicknotepad.choose-file=Choose
    48. 

  48. options.quicknotepad.choose-file.title=Choose a notepad file
    49. 

  49. options.quicknotepad.choose-font=Font:
    50. 

  50. options.quicknotepad.show-filepath.title=Display notepad file path
    51. 

  51. 

  52. # window title
    53. 

  53. quicknotepad.title=QuickNotepad
    54. 

  54. 

  55. # window toolbar buttons
    56. 

  56. quicknotepad.choose-file.icon=Open.png
    57. 

  57. quicknotepad.save-file.icon=Save.png
    58. 

  58. quicknotepad.copy-to-buffer.icon=CopyToBuffer.png
    59. 

  59. 

  60. # default settings
    61. 

  61. options.quicknotepad.show-filepath=true
    62. 

  62. options.quicknotepad.font=Monospaced
    63. 

  63. options.quicknotepad.fontstyle=0
    64. 

  64. options.quicknotepad.fontsize=14
    65. 

  65. 

  66. # Setting not defined but supplied for completeness
    67. 

  67. options.quicknotepad.filepath=
    68.