private void saveFile() { file.content = new TextRange(textbox.Document.ContentStart, textbox.Document.ContentEnd).Text; file.modifiedTime = Utility.getCurrentTime(); MyFileSystem fs = MyFileSystem.Instance(); fs.UpdateFile(file); label.Content = String.Format(labelFormat, fs.DiskSize, fs.SpaceUsed, fs.DiskSize - fs.SpaceUsed); }