Table of Contents
If you want to use DocSynch now, or just sneak into it, read through this short chapter! It is a tutorial for new users.
If you read this inside jEdit's help, the plugin should be properly installed and you can skip this section.
There are two ways to install a jEdit plugin:
Use the plugin manager: select the DocSynch Plugin (and eventually the IRC plugin, version 2.0 or higher, if you do not have it already) and install it. If you are using jEdit version 4.1, you will have to restart jEdit to activate the new plugins.
Install the files by hand: Download the DocSynchPlugin.jar and the tablelayout.jar (which might get bundled as zip or tar file) as well as the IRC.jar from the location of your choice and copy it either to your user jEdit plugin directory (which is ~/.jedit/jars) or the jEdit install plugin directory (which is /path/to/your/jedit-directory/jars). See jEdit's documentation for more information about this. You will have to restart jEdit to activate the plugin.