Re: [jokosher-devel] Necessary new extension method

[Laszlo Pandy <laszlok2 gmail com>]

David Corrales wrote:
> I meant greying out the entry in the extension manager window. Of course 
> it won't get loaded to the menu or anything, but there should be a way 
> for the user to know it was found but there's problems. We can add an 
> extra button to detail any extension problems in the same window.

I agree. Good idea.