/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
- <html><body>If you use jEdit to edit HTML or XML files, you should install the
- <b>JTidy</b> and <b>XML</b> plugins. Plugins can
- be downloaded and installed from within jEdit using the plugin manager
- (<b>Plugins</b>><b>Plugin Manager</b>).</body></html>