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();
}
}
}
