public void EndOfDocument() { mLineNum = mParent.GetNumberLines(); mCharPosition = mParent.GetLine(mLineNum).Length; }