private void ReadFromFile(string documentFilename)
{
StreamReader reader = File.OpenText(documentFilename);
string documentLine = reader.ReadLine();
while (documentLine != null)
{
Paper.AppendText(documentLine + "\n");
documentLine = reader.ReadLine();
}
reader.Close();
}
