/// <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.
}
