+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);
+ }
+}
+
+