PageRenderTime 33ms CodeModel.GetById 9ms RepoModel.GetById 0ms app.codeStats 0ms

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

#
MSBuild | 34 lines | 25 code | 9 blank | 0 comment | 1 complexity | c2d085972f3a744091c12bcd1172513f 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. # $Id: BufferLocalPlugin.props 18721 2010-10-06 18:45:25Z daleanson $
  2. #-----------------------------------
  3. # Properties for BufferLocal Plugin
  4. #-----------------------------------
  5. plugin.ise.plugin.bmp.BufferLocalPlugin.name=BufferLocal
  6. plugin.ise.plugin.bmp.BufferLocalPlugin.author=Dale Anson
  7. plugin.ise.plugin.bmp.BufferLocalPlugin.version=1.4.0
  8. plugin.ise.plugin.bmp.BufferLocalPlugin.activate=startup
  9. plugin.ise.plugin.bmp.BufferLocalPlugin.description=BufferLocal provides a way to save buffer settings on a per-buffer basis without modifying the file.
  10. # dependencies
  11. plugin.ise.plugin.bmp.BufferLocalPlugin.depend.0=jdk 1.5
  12. plugin.ise.plugin.bmp.BufferLocalPlugin.depend.1=jedit 04.03.99.00
  13. # docs
  14. plugin.ise.plugin.bmp.BufferLocalPlugin.docs=index.html
  15. # option pane settings
  16. plugin.ise.plugin.bmp.BufferLocalPlugin.option-pane=bufferlocal
  17. options.bufferlocal.label=BufferLocal
  18. options.bufferlocal.code=new ise.plugin.bmp.OptionPanel(ise.plugin.bmp.BufferLocalPlugin.NAME);
  19. # menu settings
  20. BufferLocal.menu.label=BufferLocal
  21. plugin.ise.plugin.bmp.BufferLocalPlugin.menu=bufferlocal.close
  22. bufferlocal.close.label=Close Stale Buffers
  23. # default property values
  24. bufferlocal.staleTime=30
  25. bufferlocal.removeStale=false