3334353637383940
ErlideSessionEvent _erlideSessionEvent = new ErlideSessionEvent(workspace); this.trace(_erlideSessionEvent); } public void traceReset() { ErlideResetEvent _erlideResetEvent = new ErlideResetEvent(); this.trace(_erlideResetEvent); }