Пример #1
0
        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();
        }
Пример #2
0
 void HandleContextChanged(object sender, Executor.ContextChangeEventArgs e)
 {
     ContextChanges.Add(Tuple.Create(e.Previous.TreeNode, e.Next.TreeNode));
 }