private void handle(Object executor, Executor.ContextChangeEventArgs contextChangedEventArgs)
{
var oldState = contextChangedEventArgs.Previous;
var newState = contextChangedEventArgs.Next;
Console.ForegroundColor = ConsoleColor.DarkBlue;
Console.BackgroundColor = ConsoleColor.Yellow;
Console.WriteLine("[Context changed " + oldState.Id + " => " + newState.Id + "]");
Console.ResetColor();
}
void HandleContextChanged(object sender, Executor.ContextChangeEventArgs e)
{
ContextChanges.Add(Tuple.Create(e.Previous.TreeNode, e.Next.TreeNode));
}
