Anthony Roy wrote:
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.
$USER/.jedit/jars directory Thank you! I knew it shouldn't have been too difficult. -- gentoo-user@gentoo.org mailing list