public SnapshotDocument (TextDocument doc) : base (doc.buffer, new LazyLineSplitter (doc.LineCount))
{
this.version = doc.Version;
((LazyLineSplitter)splitter).src = this;
fileName = doc.fileName;
Encoding = doc.Encoding;
UseBom = doc.UseBom;
mimeType = doc.mimeType;
ReadOnly = true;
}
}