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