void leaveInset(LCursor & cur, InsetBase const & in)
{
for (size_t i = 0; i != cur.depth(); ++i) {
if (&cur[i].inset() == &in) {
cur.resize(i);
return;
}
}
}
Used here f.ex.
And LCursor::resize really is std::vector<CursorSlice>::resize, I am
perplexed...
When is it ever interesting to resize a LCursor?
It seems to me that this is just a very funny way of writing erase.
--
Lgb
