JinnIde - Configuration

JinnIde is the Jinni Prolog IDE Plugin for JEdit. Basically, it does not need any big configuration, particularly when you install the customization package which is the default. However, a few subtleties might require additional attention. So here are a couple of hints regarding possible configurations:

• first take a look at the JEdit documentation; as can be seen in the following various features are simply configured by using JEdit's own configuration possibilities
• shortcuts for all the menu items from the JinnIde menu may be defined by using the conventional JEdit global properties menu. Go to the utilities menu, select 'Global options' and click on 'shortcuts':
  
• the Console window's location and appearance may be changed:
• Syntax highlighting, auto completion and various other features focussing on the edit area may be customized to your needs. Again, please look up the JEdit documentation for details
• note that from the Cassandra pre-release 2 onwards, JinnIde does not use anymore JEdit's macro feature; instead it features its own startup mechanism and runs a startup file - init.pro by default - to start up a JinnIde configuration, which initializes the class paths required to locate the modules for JinniDoc and Loq4Jinni. The startup file is the place to set a JinnIde configuration that differs from the default one. Everything that can be run correctly as a Jinni Prolog program can be used to setup another JinnIde configuration at startup time; note that configuration setups for other Jinni Prolog-based systems should, of course, be setup using another startup file. Please refer to JinnIde Plugin Setup for details.
• Loq4Jinni works by using several configurations that alternate each other throughout a JinnIde session. If you want to work with Loq4Jinni manually, please refer to the Loq4Jinni documentation for details on how to configure it manually. But usually, you will prefer working with the template-based GUI for Loq4Jinni that allows configuring Loq4Jinni very simply and comfortably by point-and-click.
• JinniDoc provides a few HTML styles that may be extended and selectively activated. If one wants to have another style than the default one selected at startup, please refer to JinniDoc for details on how to configure this.