private void ShiftBuffer(int sourcePos, int destPos, int count) { BlockCopyChars(_ps.chars, sourcePos, _ps.chars, destPos, count); }