/// convenience constructor from whitespace/newline separated data
InsetMathArray(docstring const &, docstring const & str);
///
- bool metrics(MetricsInfo & mi, Dimension & dim) const;
+ void metrics(MetricsInfo & mi, Dimension & dim) const;
+ ///
+ Dimension const dimension(BufferView const &) const;
///
void draw(PainterInfo & pi, int x, int y) const;
///