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;
/// target pos when we enter the inset from the right by pressing "Left"
bool idxLast(Cursor &) const;
///
+ bool idxUpDown(Cursor & cur, bool up) const;
+ ///
virtual bool notifyCursorLeaves(Cursor &);
///
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_;
};