Amend 761a542551 once more.

As it is designed now, Static label is the only case that makes sense.
This commit is contained in:
Juergen Spitzmueller 2018-01-03 08:55:35 +01:00
parent 55349823f0
commit da57a6135e

View File

@ -276,7 +276,7 @@ void RowPainter::paintDepthBar() const
// We also mark follow-up paragraphs in a paragraph group // We also mark follow-up paragraphs in a paragraph group
if (par_.layout().isParagraphGroup() if (par_.layout().isParagraphGroup()
&& par_.layout().labeltype != LABEL_NO_LABEL && par_.layout().labeltype == LABEL_STATIC
&& !text_.isFirstInSequence(row_.pit())) && !text_.isFirstInSequence(row_.pit()))
++depth; ++depth;
@ -291,7 +291,7 @@ void RowPainter::paintDepthBar() const
prev_depth = pars_[pit2].getDepth(); prev_depth = pars_[pit2].getDepth();
// We also mark follow-up paragraphs in a paragraph group // We also mark follow-up paragraphs in a paragraph group
if (pars_[pit2].layout().isParagraphGroup() if (pars_[pit2].layout().isParagraphGroup()
&& pars_[pit2].layout().labeltype != LABEL_NO_LABEL && pars_[pit2].layout().labeltype == LABEL_STATIC
&& !text_.isFirstInSequence(pit2)) && !text_.isFirstInSequence(pit2))
++prev_depth; ++prev_depth;
} }
@ -304,7 +304,7 @@ void RowPainter::paintDepthBar() const
next_depth = pars_[pit2].getDepth(); next_depth = pars_[pit2].getDepth();
// We also mark follow-up paragraphs in a paragraph group // We also mark follow-up paragraphs in a paragraph group
if (pars_[pit2].layout().isParagraphGroup() if (pars_[pit2].layout().isParagraphGroup()
&& pars_[pit2].layout().labeltype != LABEL_NO_LABEL && pars_[pit2].layout().labeltype == LABEL_STATIC
&& !text_.isFirstInSequence(pit2)) && !text_.isFirstInSequence(pit2))
++next_depth; ++next_depth;
} }