public void ClearOutputTextViewer() { OutputTextViewer.Clear(); }
public void WriteLine(string s) { OutputTextViewer.AppendText(s + '\n'); }