/// we write extra braces in any case...
bool extraBraces() const { return true; }
///
- void metrics(MetricsInfo & mi, Dimension & dim) const;
+ bool metrics(MetricsInfo & mi, Dimension & dim) const;
///
void draw(PainterInfo &, int x, int y) const;
///
///
void octave(OctaveStream &) const;
///
- void mathmlize(MathMLStream &) const;
+ void mathmlize(MathStream &) const;
///
- void infoize(std::ostream & os) const;
+ void infoize(odocstream & os) const;
private:
virtual std::auto_ptr<InsetBase> doClone() const;
};