// No need to skip anything, just output the whole range...
for (int j = m_firstElem; j < orig.first(); j++)
m_sb.append( m_origStrings[j] );
}
}
m_firstElem = orig.last() + 1;
}
public void visit( Revision rev )
{
// GNDN (Goes nowhere, does nothing)