#ifndef PARAGRAPH_FUNCS_H
#define PARAGRAPH_FUNCS_H
+#include "support/strfwd.h"
#include "support/types.h"
/// Is it the first par with same depth and layout?
bool isFirstInSequence(pit_type par, ParagraphList const & plist);
+/** Set Label Width string to all paragraphs of the same layout
+ and depth in a sequence */
+void setLabelWidthStringToSequence(pit_type const par_offset,
+ ParagraphList & pars, docstring const & s);
+
/** Check if the current paragraph is the last paragraph in a
proof environment */
int getEndLabel(pit_type par, ParagraphList const & plist);