[C.CC USERS] Jedit: no occPlug in plugins menu

[Omer Kilic]

Hi Phil,

Phil Tomson wrote the following on/at 11/08/2010 22:02:
> ...but I do not see occPlug in the Plugins menu of Jedit.  Where can I
> check for this plugin "manually" to see if the install is OK?

If you've installed the occam-pi-occplug package it should have placed 
occPlug.jar under /usr/share/jedit/jars and jEdit should automatically 
load it up.

Can you please check if you have the occPlug.jar in place?


Cheers,
Omer.