| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| modes | 2014-06-07 | ||
| ZEvesPlugin.jar | 2014-06-07 | 5.7 kB | |
| ZLivePlugin.jar | 2014-06-07 | 5.9 kB | |
| ZCharMap.jar | 2014-06-07 | 29.6 kB | |
| ZSideKick.jar | 2014-06-07 | 49.8 kB | |
| czt.jar | 2014-06-07 | 6.3 MB | |
| Totals: 6 Items | 6.4 MB | 0 | |
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:
- Copy
ZCharMap.jartoJEDIT_SETTINGS_DIR/jars
- Copy
-
To install the ZSideKick plugin you need to:
- Install the SideKick and ErrorList plugin using jEdit's Plugin manager.
- Copy
ZSideKick.jartoJEDIT_SETTINGS_DIR/jars. - Copy
czt.jartoJEDIT_SETTINGS_DIR/jars. - Update the
catalogfile inJEDIT_SETTINGS_DIR/modes(see the paragraph about installing the Z modes below).
-
To install the ZLive plugin you need to:
- Install the Console plugin using jEdit's Plugin manager.
- Install the ZSideKick plugin as described above.
- Copy
ZLivePlugin.jartoJEDIT_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:
- Copy
zed.xmltoJEDIT_SETTINGS_DIR/modes. - Update the
catalogfile inJEDIT_SETTINGS_DIR/modesas given by the examplecatalogfile 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.