/plugins/DirtyGutter/tags/release-0-2/LineChangeMarker.props

# · MSBuild · 34 lines · 26 code · 8 blank · 0 comment · 0 complexity · ede01bbe135606b5ea89219118872895 MD5 · raw file 

    

  1. plugin.lcm.LCMPlugin.activate=startup
    2. 

  2. 

  3. # general plugin information
    4. 

  4. plugin.lcm.LCMPlugin.name=DirtyGutter
    5. 

  5. plugin.lcm.LCMPlugin.author=Shlomy Reinstein
    6. 

  6. plugin.lcm.LCMPlugin.version=0.2
    7. 

  7. plugin.lcm.LCMPlugin.description=Marks changed lines (since last save) in gutter.
    8. 

  8. 

  9. plugin.lcm.LCMPlugin.depend.0=jdk 1.5
    10. 

  10. plugin.lcm.LCMPlugin.depend.1=jedit 04.03.18.00
    11. 

  11. 

  12. # action labels
    13. 

  13. dirty-gutter-toggle.label=Enable
    14. 

  14. 

  15. # menu items
    16. 

  16. plugin.lcm.LCMPlugin.menu=dirty-gutter-toggle
    17. 

  17. 

  18. # option pane
    19. 

  19. plugin.lcm.LCMPlugin.option-pane=DirtyGutter
    20. 

  20. options.DirtyGutter.label=DirtyGutter
    21. 

  21. options.DirtyGutter.code=new lcm.LCMOptions();
    22. 

  22. messages.LCMPlugin.providers=Dirty line provider:
    23. 

  23. messages.LCMPlugin.providerSpecificOptions={0}-specific options:
    24. 

  24. messages.LCMPlugin.bgColor=Dirty line marker color:
    25. 

  25. messages.LCMPlugin.diff.addColor=Added content marker color:
    26. 

  26. messages.LCMPlugin.diff.removeColor=Removed content marker color:
    27. 

  27. messages.LCMPlugin.diff.changeColor=Changed content marker color:
    28. 

  28. 

  29. # docs
    30. 

  30. plugin.lcm.LCMPlugin.docs=index.html
    31. 

  31. 

  32. # misc
    33. 

  33. #updater.downloadPage=http://jedit.org/index.php?page=download
    34.