while (!stack.empty() && stack.top().group_id == gid)
doTextUndoOrRedo(cur, stack, otherstack);
- // Addapt the new material to current buffer.
- buffer_.updateLabels();
+ // Adapt the new material to current buffer.
+ buffer_.setBuffersForInsets(); // FIXME This shouldn't be here.
+ buffer_.updateBuffer();
return true;
}