> 1) Installing plugins also from a local directory.
> > Especially when installing jEdit with some basic plugins and not
> > access to the internet, it would be very handy to be able to specify
> > a local source for plugins where they can be installed from.
> It is easy to install a plugin - just download it from plugin central
> (http://plugins.jedit.org/) and unzip it to your
> jedit_install_directory/jars directory. And that's it.
You´re right; I did so before as a workaround but it is not half as
comfortable as the plugin-manager feature...
Sent through GMX FreeMail - http://www.gmx.net
Get latest updates about Open Source Projects, Conferences and News.