PageRenderTime 41ms CodeModel.GetById 20ms app.highlight 1ms RepoModel.GetById 19ms app.codeStats 0ms


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>&gt;<b>Plugin Manager</b>).</body></html>