}
+void setLabelWidthStringToSequence(pit_type par_offset,
+ ParagraphList & pars, docstring const & s)
+{
+ Paragraph & par = pars[par_offset];
+ // Find first of same layout in sequence
+ while (!isFirstInSequence(par_offset, pars)) {
+ par_offset = depthHook(par_offset, pars, par.getDepth());
+ par = pars[par_offset];
+ }
+
+ // now apply label width string to every par
+ // in sequence
+ pit_type const end = pars.size();
+ depth_type const depth = par.getDepth();
+ Layout const & layout = par.layout();
+ for (pit_type pit = par_offset; pit != end; ++pit) {
+ while (pars[pit].getDepth() > depth)
+ ++pit;
+ if (pars[pit].getDepth() < depth)
+ return;
+ if (pars[pit].layout() != layout)
+ return;
+ pars[pit].setLabelWidthString(s);
+ }
+}
+
+
int getEndLabel(pit_type p, ParagraphList const & pars)
{
pit_type pit = p;
}
+bool isFullyDeleted(ParagraphList const & pars)
+{
+ pit_type const pars_size = static_cast<pit_type>(pars.size());
+
+ // check all paragraphs
+ for (pit_type pit = 0; pit < pars_size; ++pit) {
+ if (!pars[pit].empty()) // prevent assertion failure
+ if (!pars[pit].isFullyDeleted(0, pars[pit].size()))
+ return false;
+ }
+ return true;
+}
+
+
void acceptChanges(ParagraphList & pars, BufferParams const & bparams)
{
pit_type pars_size = static_cast<pit_type>(pars.size());