void ActiveDocumentChanged(object sender, EventArgs e) { if (activeDocument != null) activeDocument.TextContentChanged -= new EventHandler(UpdateStats); activeDocument = Manager != null ? Manager.ActiveDocument as Document : null; if (activeDocument != null) { UpdateStats(this, EventArgs.Empty); activeDocument.TextContentChanged += new EventHandler(UpdateStats); } }
private void New_click(object sender, RoutedEventArgs e) { string title = "newDoc"; int i = 0; while (dockingManager.Documents.Any(d => d.Title == title)) { title = "newDoc" + i.ToString(); i++; } var doc = new Document() { Title = title }; doc.Show(dockingManager); doc.Activate(); }
private void OpenFile_Click(object sender, RoutedEventArgs e) { OpenFileDialog dlg = new OpenFileDialog(); dlg.Filter = "Text Files (*.txt)|*.txt"; if (dlg.ShowDialog().GetValueOrDefault()) { using (StreamReader sr = new StreamReader(dlg.FileName)) { var doc = new Document() { Title = System.IO.Path.GetFileName(dlg.FileName) }; doc.Show(dockingManager); doc.TextContent = sr.ReadToEnd(); doc.Activate(); } } }