public void RemoveEvent(Event handle)
{
lock (this) {
var cp = handle as ExceptionCatchPoint;
if (cp != null) {
exception_catchpoints.Remove (cp.UniqueID);
events.Remove (cp.Index);
return;
}
Breakpoint breakpoint = (Breakpoint) handle;
breakpoint.IsEnabled = false;
events.Remove (breakpoint.Index);
if (pending_bpts.ContainsKey (breakpoint))
pending_bpts.Remove (breakpoint);
if (reached_main)
pending_bpts.Add (breakpoint, BreakpointHandle.Action.Remove);
}
}