/jEdit/tags/jedit-4-5-pre1/doc/tips/tip49.html
HTML | 5 lines | 5 code | 0 blank | 0 comment | 0 complexity | b0a5d17ebbd0e7e17506ab58e26e8595 MD5 | raw file
1<html><body>If you use jEdit to edit Java source, you should install the 2<b>JBrowse</b>, <b>JExplorer</b>, <b>JImporter</b> and <b>JTools</b> plugins. 3Plugins can 4be downloaded and installed from within jEdit using the plugin manager 5(<b>Plugins</b>><b>Plugin Manager</b>).</body></html>