[ jEdit-devel ] Plugin holder

[Eric S. <eri...@ve...>]

Hi Slava
 
Since JEdit 2.5 pre 6 I'm no more able to enable the plug-in holder.
It still doesn't work with pre7, while in the past it was running very well.
The fact is that I cannot check the box in the Plugins->Plugin holder menu.
 
Do you know what happens ?
 
Best Regards, Eric Samson.

Eric Samson                
Versant
+33 1 4507 6730
http://www.versant.com