Introduction
Configuration
Frequently Asked Questions
Change Log
License Information
Introduction
The Firewall Plugin allows users behind a proxy/firewall to make
use of all HTTP-related functionality in jEdit, namely:
-
Latest Version Check
-
PluginManager (Update or Install new Plugins)
-
Open an (HTTP-) URL
-
InfoViewer / Online help
Since the HTTP proxy stuff is a JDK 1.2 feature, 1.2 or higher is required.
Configuration
After installation, there is a new option pane "Proxy/Firewall"
in the "Utilties->Global Options" dialog under "Plugin Options". It should
be pretty self-explanatory.
Frequently Asked Questions
I installed the plugin and nothing happens! I don't get the option pane
"Proxy/Firewall" in the Global Options.
You need a JDK 1.2 or higher. It won't run on JDK 1.1, sorry.
If you have JDK 1.2, open the activity log, look for any errors
and email me.
Are there any security issues?
Yes. The proxy password is stored in clear text in the file
"$HOME/.jedit/properties" under
the entry "firewall.password". You must take care of proper protection
of this file.
Furthermore, at runtime the password is possibly stored in various
String instances, that probably can be spied out by a memory monitor in
some occasions.
All contents copyright (c) 1999 Dirk Möbius
<dmoebius@gmx.net>