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

> 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@....
> --------------------------------------------------------------------