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 -- Michael Atighetchi [EMAIL PROTECTED] BBN Technologies -------------------------------------------------------------------- To unsubscribe, send the words 'unsubscribe jess-users [EMAIL PROTECTED]' in the BODY of a message to [EMAIL PROTECTED], NOT to the list (use your own address!) List problems? Notify [EMAIL PROTECTED] --------------------------------------------------------------------
