|
From: mike d. <md...@st...> - 2000-02-12 01:25:29
|
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 |