Download Latest Version czt.jar (6.3 MB)
Email in envelope

Get an email when there's a new version of Community Z Tools

Home / czt-jedit / nightly
Name Modified Size InfoDownloads / Week
Parent folder
201604090020 2016-04-09
0
201509120020 2015-09-12
0
201508141252 2015-08-14
0
201508141016 2015-08-14
1 1 weekly downloads
201508121445 2015-08-12
1 1 weekly downloads
201504080124 2015-04-08
1 1 weekly downloads
201504020124 2015-04-02
1 1 weekly downloads
201410201707 2014-10-20
0
201409011701 2014-09-01
0
201407231534 2014-07-23
0
201406072316 2014-06-07
0
201406020124 2014-06-02
0
201405301632 2014-05-30
0
201405292233 2014-05-29
0
201405291707 2014-05-29
0
201405282215 2014-05-28
0
201405281623 2014-05-28
0
201311290123 2013-11-29
0
201311211226 2013-11-21
0
201310210123 2013-10-21
0
201306080120 2013-06-08
5 5 weekly downloads
201305270118 2013-05-27
0
201304260126 2013-04-26
0
201304172304 2013-04-17
0
201304130119 2013-04-13
0
201304112202 2013-04-11
0
201304101815 2013-04-10
0
201304100720 2013-04-10
0
201304100102 2013-04-10
0
201304092140 2013-04-09
0
201304090206 2013-04-09
0
201304040921 2013-04-04
0
201304040206 2013-04-04
0
201304031025 2013-04-03
0
201304022224 2013-04-02
0
201304022113 2013-04-02
0
201304021918 2013-04-02
0
Totals: 37 Items   9

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.

Source: README.md, updated 2013-04-03