Chapter 1. Quick Introduction

Table of Contents

How to install
DocSynch Terms
Starting a session
DocSynch Window - GUI
Joining an IRC channel
Choosing the documents
Starting / Joining
Editing the documents
Acquiring write access
Inserting / Removing
Highlighting of Changes
Insert Queue
Flood-Kickout Protection
Other tasks
Adding and removing documents during the session
Leaving the session as a master
Troubleshooting
A problem occured, the session seems to be corrupted
User cannot join, file transfers fail
When I enter text, I get disconnected from the IRC server immediately

If you want to use DocSynch now, or just sneak into it, read through this short chapter! It is a tutorial for new users.

How to install

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.