}
-void RenderPreview::metrics(MetricsInfo & mi, Dimension & dim) const
+bool RenderPreview::metrics(MetricsInfo & mi, Dimension & dim) const
{
BOOST_ASSERT(mi.base.bv && mi.base.bv->buffer());
dim.wid = 15 + theFontMetrics(font).width(stat);
}
+ bool const changed = dim_ != dim;
dim_ = dim;
+ return changed;
}