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

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