void drawDecoration(PainterInfo & pi, int x, int y) const
{ drawMarkers2(pi, x, y); }
///
- bool metrics(MetricsInfo & mi, Dimension & dim) const;
+ void metrics(MetricsInfo & mi, Dimension & dim) const;
/// get cursor position
void cursorPos(BufferView const & bv, CursorSlice const & sl,
bool boundary, int & x, int & y) const;
///
docstring name() const;
///
+ int kerning() const { return kerning_; }
+ ///
void setExpansion(MathData const & exp, MathData const & args) const;
///
void infoize2(odocstream &) const;
private:
- virtual std::auto_ptr<Inset> doClone() const;
+ virtual Inset * clone() const;
///
void updateExpansion() const;
mutable MacroData macroBackup_;
///
mutable bool editing_;
+ ///
+ mutable int kerning_;
};