public async Task Initialize(TextFile textFile = null) { TextFile = textFile; if (TextFile != null) { originalFileName = System.IO.Path.GetFileNameWithoutExtension(TextFile.FileName); Text = TextFile.FileName; textBoxFileName.Text = originalFileName; richTextBox.Text = await TextFile.DownloadAsString(); SetStatus(); richTextBox.Focus(); } else { textBoxFileName.Focus(); } richTextBox.TextChanged += RichTextBox_TextChanged; }