class MathCharInset : public MathInset {
public:
+ ///
+ explicit MathCharInset(char c);
///
MathCharInset(char c, MathTextCodes t);
///
MathInset * clone() const;
///
- void metrics(MathStyles st) const;
+ MathTextCodes nativeCode(char c) 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 writeTrailer(std::ostream &) const;
+ ///
+ void writeRaw(std::ostream &) const;
///
- void writeNormal(std::ostream &) const;
+ void normalize(NormalStream &) const;
///
int ascent() const;
///
///
int width() const;
/// identifies Charinsets
- bool isCharInset() const { return true; }
+ MathCharInset const * asCharInset() const { return this; }
///
char getChar() const { return char_; }
///
+ MathTextCodes code() const { return code_; }
+ ///
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