Chapter 2. Reference

Table of Contents

Options
Available Actions (for shortcuts)
IRC functionality

Here you find every function of DocSynch in detail.

Options

To view the option pane, (jEdit up to version 4.1) click on Utilities > Global Options... > Plugins > Document Synchronization or (jEdit version 4.2 or higher) Plugins > Plugin Options... > Plugins > Document Synchronization.

Figure 2.1. General Option Pane

General Option Pane