Re: [ jEdit-devel ] Firewall plugin

[Slava P. <sp...@gj...>]

Robert Mahoney wrote:
> 
>   Has there been any consideration to rolling the firewall plugin into the Core?
> I ask because I loaded jEdit at work today which has a firewall and was unable
> to use the Plugin Manager
> to download the Firewall plugin so I could access the other plugins!  Maybe the
> jEdit
> documentation should mention using the -Dproxy  flags on startup just so people
> could
> get around the initial firewall issue.

The firewall plugin uses Java 2-specific features, and jEdit must remain
compatible with Java 1.1 until at least the MacOS has a stable Java 2
implementation.

>   The Firewall plugin seems a bit contradictory.  You need it if you are behind
> a firewall,
> but you can't automatically install it because you don't have it :).  It really
> looks like a
> perfect candidate to add to the Core.

You can always manually download plugins from <http://jedit.standmed.com>.

Slava