CZT plugins for jEdit

This directory provides CZT plugins for jEdit text editor. Read more about the plugins on the CZT website.

The CZT plugins and extensions should be working using jEdit 5.

Installation

In the following, it is assumed that jEdit has already been installed and JEDIT_SETTINGS_DIR is the jEdit settings directory (this might be the global settings directory as well as the user-specific settings directory). The location of this directory is system-specific. On a Linux machine, for example, the user specific settings directory is usually ~/.jedit. See jEdit User's Guide for more information on jEdits's settings directory.

Installing the jEdit plugins

To install a jEdit plugin, first make sure to uninstall previous versions.

• To install the ZCharMap plugin you need to:

  1. Copy ZCharMap.jar to JEDIT_SETTINGS_DIR/jars

• To install the ZSideKick plugin you need to:

  1. Install the SideKick and ErrorList plugin using jEdit's Plugin manager.
  2. Copy ZSideKick.jar to JEDIT_SETTINGS_DIR/jars.
  3. Copy czt.jar to JEDIT_SETTINGS_DIR/jars.
  4. Update the catalog file in JEDIT_SETTINGS_DIR/modes (see the paragraph about installing the Z modes below).

• To install the ZLive plugin you need to:

  1. Install the Console plugin using jEdit's Plugin manager.
  2. Install the ZSideKick plugin as described above.
  3. Copy ZLivePlugin.jar to JEDIT_SETTINGS_DIR/jars

• The installation for Z/EVES plugin is identical to ZLive plugin.

Please restart jEdit to load the new plugins.

Installing the Z modes

The files in modes directory (e.g. zed.xml) contain the beginnings of a jEdit syntax-colouring mode for Z in Unicode mark-up that highlights Z paragraphs and Z keywords. To install it, you need to:

1. Copy zed.xml to JEDIT_SETTINGS_DIR/modes.
2. Update the catalog file in JEDIT_SETTINGS_DIR/modes as given by the example catalog file located in this directory

Please also see Chapter 10 of the jEdit User's Guide for complete instructions on installing edit modes.

Usage

Refer to the CZT website on jEdit plugins for more details.