/jEdit/tags/jedit-4-0-pre3/org/gjt/sp/jedit/tips/tip48.html

# · HTML · 4 lines · 4 code · 0 blank · 0 comment · 0 complexity · 83f53f57bccadefad76517119fd7e88c MD5 · raw file

  1. <html><body>If you use jEdit to edit HTML or XML files, you should install the
  2. <b>JTidy</b> and <b>XML</b> plugins. Plugins can
  3. be downloaded and installed from within jEdit using the plugin manager
  4. (<b>Plugins</b>&gt;<b>Plugin Manager</b>).</body></html>