public void Flush() { if (disposed) { throw new ObjectDisposedException(this.ToString()); } if (!WinCon.FlushConsoleInputBuffer(Handle)) { throw new System.IO.IOException("Error flushing buffer", Marshal.GetLastWin32Error()); } }
public void Flush() { if (disposed) { throw new ObjectDisposedException(this.ToString()); } if (!WinCon.FlushConsoleInputBuffer(Handle)) { throw new System.IO.IOException("Error flushing buffer", Marshal.GetLastWin32Error()); } }