You should be able to download it from the jedit website (www.jedit.org).
Installing is simply a matter of unzipping the file into the
$USER/.jedit/plugins directory.
The plugin manager sometimes has network problems, and occaisionally a
corrupted plugin distribution finds its way onto the plugin
Need some help with jedit. I have emerged app-editors/jedit but when
using its plugin manager to load the XML plugin it fails throwing an
I/O Error
An I/O Error ocurred (error in opening zip file)
Other plugins can be installed easily.
Any hint for me how to get XML plugin installed?
Than
2 matches
Mail list logo