private void RefreshDisplay() { _buf = string.Empty; foreach (var c in _terminal.ReadBuffer()) { _buf += c; } _output.SetText(_buf); }