}
-DocIterator makeDocIterator(ParIterator const & par, pos_type pos)
-{
- DocIterator dit(par);
- dit.pos() = pos;
- return dit;
-}
-
-
-
///
/// ParConstIterator
///
{}
+void ParConstIterator::push_back(Inset const & inset)
+{
+ DocIterator::push_back(CursorSlice(const_cast<Inset &>(inset)));
+}
+
+
ParConstIterator & ParConstIterator::operator++()
{
DocIterator::forwardPar();