void metricsT(TextMetricsInfo const & mi, Dimension & dim) const;
///
void drawT(TextPainter &, int x, int y) const;
+ ///
+ int width() const { return width_; }
+
///
void write(WriteStream & os) const;
///
char getChar() const { return char_; }
///
bool isRelOp() const;
- ///
- bool match(MathInset const *) const;
private:
/// the character
char char_;
+ /// cached width
+ mutable int width_;
};
#endif