buffer().undo().endUndoGroup();
// We need an update of the Buffer reference cache. This is achieved by
- // updateLabels().
- buffer().updateLabels();
+ // updateBuffer().
+ buffer().updateBuffer();
}
}
-void InsetLabel::updateLabels(ParIterator const & par, UpdateType utype)
+void InsetLabel::updateBuffer(ParIterator const & par, UpdateType utype)
{
docstring const & label = getParam("name");
if (buffer().insetLabel(label)) {