« Return to Thread: JESS: JessDE plugin cannot be enabled again after being disabled

Re: JESS: JessDE plugin cannot be enabled again after being disabled

by Ernest Friedman-Hill :: Rate this Message:

Reply to Author | View in Thread

Hmmm. I just tried it -- disable, restart, re-enable, restart again  
-- and it works fine for me. Does the dialog not say "Enable" when  
you return to it? What does it say?

On Apr 22, 2008, at 10:33 AM, Michael Atighetchi wrote:

> Disabling the JessDE plugin in eclipse caused the large amount of
> printouts reported the other day to vanish. However, it turns out that
> I cannot enable the plugin again since the eclipse gui only offers
> "disable" as an action.
>
> Is there a shortcut for enabling the plugin to get me over a short-
> term hump ?
>
> Michael
>


---------------------------------------------------------
Ernest Friedman-Hill
Informatics & Decision Sciences          Phone: (925) 294-2154
Sandia National Labs                FAX:   (925) 294-2234
PO Box 969, MS 9012                 ejfried@...
Livermore, CA 94550                 http://www.jessrules.com




--------------------------------------------------------------------
To unsubscribe, send the words 'unsubscribe jess-users you@...'
in the BODY of a message to majordomo@..., NOT to the list
(use your own address!) List problems? Notify owner-jess-users@....
--------------------------------------------------------------------

 « Return to Thread: JESS: JessDE plugin cannot be enabled again after being disabled