///
void metrics(MetricsInfo & mi, Dimension & dim) const;
///
- Dimension const dimension(BufferView const &) const { return dim_; };
- ///
void draw(PainterInfo & pi, int x, int y) const;
///
void write(WriteStream & os) const;
docstring const name_;
/// ( or [ or \\Vert...
docstring const delim_;
- ///
- mutable Dimension dim_;
};