/// <summary> /// Handle the "Rewind" event. /// </summary> /// <param name="source">Event source object</param> /// <param name="e">Event data object</param> public virtual void inputBufferRewind(object source, InputBufferEventArgs e) { }
/// <summary> /// Handle the "CharConsumed" event. /// </summary> /// <param name="source">Event source object</param> /// <param name="e">Event data object</param> public virtual void inputBufferConsume(object source, InputBufferEventArgs e) { }
/// <summary> /// Handle the "Mark" event. /// </summary> /// <param name="source">Event source object</param> /// <param name="e">Event data object</param> public virtual void inputBufferMark(object source, InputBufferEventArgs e) { }
public override void inputBufferRewind(object source, InputBufferEventArgs e) { System.Console.Out.WriteLine(e); }
public virtual void inputBufferChanged(object source, InputBufferEventArgs e) { System.Console.Out.WriteLine(e); }