/// 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 & pi, int x, int y) const;
///
void normalize(NormalStream &) const;
///
void infoize(odocstream & os) const;
+ ///
+ int kerning() const { return cell(0).kerning(); }
private:
- virtual std::auto_ptr<InsetBase> doClone() const;
+ virtual std::auto_ptr<Inset> doClone() const;
/// the font to be used on screen
latexkeys const * key_;
};