[ jEdit-devel ] Firewall functionality

[mike d. <md...@st...>]

hey-

i think that the functionality in Dirk's Firewall plugin should be moved
into the jEdit core. this way, people behind firewalls can use
PluginManager without having to first manually download the firewall
plugin. it would of course be turned off by default (as is the plugin).

-md