/// <summary> /// Remove a trigger from current triggers or pending insertion /// triggers or both if need be, so it's not there anymore at all. /// </summary> /// <param name="trigger"></param> public void RemoveTrigger(TriggerInfo trigger) { Triggers.Remove(trigger); // can ignore if it wasn't in the list. TriggersToInsert.Remove(trigger); // can ignore if it wasn't in the list. }
/// <summary> /// Remove a trigger from current triggers or pending insertion /// triggers or both if need be, so it's not there anymore at all. /// </summary> /// <param name="instructionPointer"></param> public void RemoveTrigger(int instructionPointer) { Triggers.Remove(instructionPointer); // can ignore if it wasn't in the list. TriggersToInsert.Remove(instructionPointer); // can ignore if it wasn't in the list. }