PageRenderTime 191ms CodeModel.GetById 39ms RepoModel.GetById 1ms app.codeStats 0ms

/jEdit/tags/jedit-4-0-pre3/jars/Firewall/Firewall.props

#
MSBuild | 28 lines | 23 code | 5 blank | 0 comment | 0 complexity | d0528e28642309ca85668d0d4181510c 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. # Plugin properties
  2. plugin.FirewallPlugin.name=Firewall
  3. plugin.FirewallPlugin.author=Dirk Moebius
  4. plugin.FirewallPlugin.version=0.2.3
  5. plugin.FirewallPlugin.docs=index.html
  6. plugin.FirewallPlugin.depend.0=jdk 1.2
  7. plugin.FirewallPlugin.depend.1=jedit 02.06.01.00
  8. # Default firewall properties
  9. firewall.enabled=false
  10. # Option pane properties
  11. options.firewall.label=Proxy/Firewall
  12. options.firewall.enabled=Enable Proxy/Firewall authentication
  13. options.firewall.host=Host:\
  14. options.firewall.port=Port:\
  15. options.firewall.user=Username:\
  16. options.firewall.password=Password:\
  17. options.firewall.nonProxy=No proxy for:\
  18. # Error messages
  19. firewall.error.ioerror.title=I/O Error
  20. firewall.error.ioerror.message=\
  21. An I/O Error occurred opening the URL\n\
  22. {0} :\n\n\
  23. {1}