Registering the plugin shells

(new to Jedit 4.2) To make the Console plugin aware of your plugin's shell, define a services.xml file containing a service element with these attributes:

  1. class="console.Shell"

  2. NAME=YourPlugin

The element itself should contain BeanShell code which creates a new instance of your Shell-derived class. Here is an example of how the Factor plugin registers a shell with Console:


<?xml version="1.0"?>
<!DOCTYPE SERVICES SYSTEM "services.dtd">
<SERVICES>
    <SERVICE CLASS="console.Shell" NAME="Factor">
         new factor.jedit.FactorShell();
    </SERVICE>
 </SERVICES>