bool addToMathRow(MathRow &, MetricsInfo & mi) const;
/// rebuild cached metrics information
- void metrics(MetricsInfo & mi, Dimension & dim) const;
+ /** When \c tight is true, the height of the cell will be at least
+ * that of 'x'. Otherwise, it will be the max height of the font.
+ */
+ void metrics(MetricsInfo & mi, Dimension & dim, bool tight = true) const;
///
Dimension const & dimension(BufferView const &) const;