[ jEdit-devel ] New Plug-Ins and Plug-In Updates Not Detected?

[Randall R S. <rrs...@cr...>]

Hi,

In installed jEdit 4.1final on Mar. 1st and since then, the plug-in 
manager has not detected a single new or updated plug-in.

E.g., the new AntFarm (1.3) is not detected (the plug-in manager shows 
I'm running 1.2--a version supplied to me by Jimmy Wilson to 
temporarily work around an incompatible change in the jEdit core code).

Can anybody suggest what might be amiss or how to go about diagnosing 
this problem?

I don't see anything in the Activity Log that appears to be related to 
the plug-in manager.

Randy