///
MathInset * clone() const;
///
- MathTextCodes nativeCode(char c) const;
+ static MathTextCodes nativeCode(char c);
///
- void metrics(MathStyles st) const;
+ void metrics(MathMetricsInfo const & st) const;
///
void draw(Painter &, int x, int y) const;
///
- void write(std::ostream &, bool fragile) const;
+ void write(WriteStream & os) const;
///
void writeHeader(std::ostream &) const;
///
///
void writeRaw(std::ostream &) const;
///
- void writeNormal(std::ostream &) const;
+ void normalize(NormalStream &) const;
///
int ascent() const;
///
bool isRelOp() const;
///
void handleFont(MathTextCodes t);
+ ///
+ bool match(MathInset *) const;
private:
/// the character
char char_;
- ///
+ /// the font to be used on screen
MathTextCodes code_;
+ ///
+ mutable MathMetricsInfo mi_;
};
#endif