Chapter 9. jEdit Plug-in

Describes the installation and usage of the Jalopy jEdit Plug-in. jEdit [Link] is a mature programmer’s text editor written in Java that provides auto indent and syntax highlighting for more than 130 languages and is easily extensible with its Plug-in architecture.

Installation

Explains the steps involved to install the jEdit Plug-in.

System requirements

The Jalopy jEdit Plug-in requires jEdit 4.1 or later. See the section called “System requirements” for the basic requirements to run Jalopy.

Installation

The Plug-in comes as an executable Jar Archive (JAR) that contains a graphical setup wizard to let you easily install the software. Wizard installation is recommended and explained in detail in the section called “Wizard Installation”.

If you would rather install the Plug-in manually, you have to decompress and copy the appropriate files into the different application and/or settings folders. To decompress the contents of the installer JAR, you can often use the build-in support of your file manager (e.g. Nautilus) or any other software that can handle the ZIP compression format (e.g. 7Zip, WinZip or Stuffit Expander). If you don’t have access to one of the convenience tools, you might resort to the jar command-line application that ships with your Java distribution.

If you’re upgrading from a prior version and want to keep your settings, first copy or rename the current Jalopy settings directory to match the version number of the new release. For instance, if your current settings directory is C:\Documents and Settings\John Doo\.jalopy\1.9 and you’re about to install Jalopy 1.9.3, either copy the directory contents or rename it to C:\Documents and Settings\.jalopy\John Doo\1.9.3. Wizard installation can perform this step automatically.

Make sure jEdit is not running and remove any prior Jalopy JAR files in your jEdit Plugin folder. The jEdit Plugin folder is located under the root directory of your jEdit installation, e.g. C:\Program Files\jEdit\jars. Remove all JAR files whose names start with jalopy-. Now decompress the contents of the installer JAR file into a temporary directory and copy the two JAR files jalopy-1.9.3.jar and jalopy-jedit-1.9.3.jar from the temporary directory into the jEdit Plugin folder.