|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Class Summary | |
|---|---|
| JinnIde | JinnIde shell is integrated in jEdit through the Console plugin. |
| JinnIdeDockable | |
| JinnIdeOptions | |
| JinnIdeOptionsPane | This is JinnIde's option settings dialogue found in JEdit's plugin menu |
| JinnIdePlugin | Main class for the Jinni jEdit plugin. |
| JinnIdePlugin.StartupJinniPrologServerThread | |
| JinnIdeToolbar | |
| VariableObject | This class serves to keep the state of a variable i.e. |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||