+
+int ParagraphMetrics::singleWidth(pos_type pos, Font const & font) const
+{
+ // The most special cases are handled first.
+ if (Inset const * inset = par_->getInset(pos))
+ return insetDimension(inset).wid;
+
+ char_type const c = par_->getChar(pos);
+
+ if (c == '\t')
+ return 4 * theFontMetrics(font).width(' ');
+
+ // Note that this function is only called in
+ // RowPainter::paintText, and only used for characters that do
+ // not require handling of compose chars or ligatures. It can
+ // therefore be kept simple.
+ return theFontMetrics(font).width(c);
+}
+
+
+bool ParagraphMetrics::hfillExpansion(Row const & row, pos_type pos) const
+{
+ if (!par_->isHfill(pos))
+ return false;
+
+ LASSERT(pos >= row.pos() && pos < row.endpos(), return false);
+
+ // expand at the end of a row only if there is another hfill on the same row
+ if (pos == row.endpos() - 1) {
+ for (pos_type i = row.pos(); i < pos; i++) {
+ if (par_->isHfill(i))
+ return true;
+ }
+ return false;
+ }
+
+ // expand at the beginning of a row only if it is the first row of a paragraph
+ if (pos == row.pos())
+ return pos == 0;
+
+ // do not expand in some labels
+ if (par_->layout().margintype != MARGIN_MANUAL && pos < par_->beginOfBody())
+ return false;
+
+ // if there is anything between the first char of the row and
+ // the specified position that is neither a newline nor an hfill,
+ // the hfill will be expanded, otherwise it won't
+ for (pos_type i = row.pos(); i < pos; i++) {
+ if (!par_->isNewline(i) && !par_->isEnvSeparator(i) && !par_->isHfill(i))
+ return true;
+ }
+ return false;
+}
+