private void refreshButton_Click(object sender, EventArgs e)
        {
            var content = Content;

            Content = null;
            Content = content;
        }
Example #2
0
 protected DebugEngine(DebugEngine original, Cloner cloner)
   : base(original, cloner) {
   if (original.ExecutionState == ExecutionState.Started) throw new InvalidOperationException(string.Format("Clone not allowed in execution state \"{0}\".", ExecutionState));
   Log = cloner.Clone(original.Log);
   ExecutionStack = cloner.Clone(original.ExecutionStack);
   OperatorTrace = cloner.Clone(original.OperatorTrace);
   InitializeTimer();
   currentOperation = cloner.Clone(original.currentOperation);
 }
Example #3
0
 protected DebugEngine(DebugEngine original, Cloner cloner)
     : base(original, cloner)
 {
     if (original.ExecutionState == ExecutionState.Started) throw new InvalidOperationException(string.Format("Clone not allowed in execution state \"{0}\".", ExecutionState));
       Log = cloner.Clone(original.Log);
       ExecutionStack = cloner.Clone(original.ExecutionStack);
       OperatorTrace = cloner.Clone(original.OperatorTrace);
       InitializeTimer();
       currentOperation = cloner.Clone(original.currentOperation);
 }
Example #4
0
 private void refreshButton_Click(object sender, EventArgs e) {
   var content = Content;
   Content = null;
   Content = content;
 }