}
-bool InsetPagebreak::metrics(MetricsInfo & mi, Dimension & dim) const
+void InsetPagebreak::metrics(MetricsInfo & mi, Dimension & dim) const
{
dim.asc = defaultRowHeight();
dim.des = defaultRowHeight();
dim.wid = mi.base.textwidth;
- bool const changed = dim_ != dim;
- dim_ = dim;
- return changed;
+ // Cache the inset dimension.
+ setDimCache(mi, dim);
}
font.setColor(Color::pagebreak);
font.decSize();
+ Dimension const dim = dimension(*pi.base.bv);
+
int w = 0;
int a = 0;
int d = 0;
theFontMetrics(font).rectText(insetLabel(), w, a, d);
- int const text_start = int(x + (dim_.wid - w) / 2);
+ int const text_start = int(x + (dim.wid - w) / 2);
int const text_end = text_start + w;
pi.pain.rectText(text_start, y + d, insetLabel(), font,
pi.pain.line(x, y, text_start, y,
Color::pagebreak, Painter::line_onoffdash);
- pi.pain.line(text_end, y, int(x + dim_.wid), y,
+ pi.pain.line(text_end, y, int(x + dim.wid), y,
Color::pagebreak, Painter::line_onoffdash);
}