depth_type const depth = pars_[offset].getDepth();
Layout const & layout = pars_[offset].layout();
for (pit_type pit = offset; pit != end; ++pit) {
- while (pars_[pit].getDepth() > depth)
+ while (pars_[pit].getDepth() > depth) {
++pit;
+ if (pit == end)
+ return;
+ }
if (pars_[pit].getDepth() < depth)
return;
if (pars_[pit].layout() != layout)
bool const update_needed = !tm.contains(par);
Cursor old = cur;
setCursorIntern(cur, par, pos, setfont, boundary);
+ // FIXME There is a chance that we'll miss a screen update here.
+ // If so, then do DEPM and then check if cur wants an update and
+ // go ahead and do it, if so.
return cur.bv().checkDepm(cur, old) || update_needed;
}