/bundles/plugins-trunk/BufferLocal/src/config/BufferLocalPlugin.props

# · MSBuild · 34 lines · 25 code · 9 blank · 0 comment · 0 complexity · c2d085972f3a744091c12bcd1172513f MD5 · raw file 

    

  1. # $Id: BufferLocalPlugin.props 18721 2010-10-06 18:45:25Z daleanson $
    2. 

  2. #-----------------------------------
    3. 

  3. # Properties for BufferLocal Plugin
    4. 

  4. #-----------------------------------
    5. 

  5. 

  6. plugin.ise.plugin.bmp.BufferLocalPlugin.name=BufferLocal
    7. 

  7. plugin.ise.plugin.bmp.BufferLocalPlugin.author=Dale Anson
    8. 

  8. plugin.ise.plugin.bmp.BufferLocalPlugin.version=1.4.0
    9. 

  9. plugin.ise.plugin.bmp.BufferLocalPlugin.activate=startup
    10. 

  10. plugin.ise.plugin.bmp.BufferLocalPlugin.description=BufferLocal provides a way to save buffer settings on a per-buffer basis without modifying the file.
    11. 

  11. 

  12. # dependencies
    13. 

  13. plugin.ise.plugin.bmp.BufferLocalPlugin.depend.0=jdk 1.5
    14. 

  14. plugin.ise.plugin.bmp.BufferLocalPlugin.depend.1=jedit 04.03.99.00
    15. 

  15. 

  16. # docs
    17. 

  17. plugin.ise.plugin.bmp.BufferLocalPlugin.docs=index.html
    18. 

  18. 

  19. # option pane settings
    20. 

  20. plugin.ise.plugin.bmp.BufferLocalPlugin.option-pane=bufferlocal
    21. 

  21. options.bufferlocal.label=BufferLocal
    22. 

  22. options.bufferlocal.code=new ise.plugin.bmp.OptionPanel(ise.plugin.bmp.BufferLocalPlugin.NAME);
    23. 

  23. 

  24. # menu settings
    25. 

  25. BufferLocal.menu.label=BufferLocal
    26. 

  26. plugin.ise.plugin.bmp.BufferLocalPlugin.menu=bufferlocal.close
    27. 

  27. bufferlocal.close.label=Close Stale Buffers
    28. 

  28. 

  29. # default property values
    30. 

  30. bufferlocal.staleTime=30
    31. 

  31. bufferlocal.removeStale=false
    32.