|
From: Eric S. <eri...@ve...> - 2000-06-20 09:48:43
|
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 |