void dump() const;
///
- bool idxUp(idx_type &, pos_type &) const;
+ bool idxUp(idx_type &) const;
///
- bool idxDown(idx_type &, pos_type &) const;
+ bool idxDown(idx_type &) const;
///
bool idxLeft(idx_type &, pos_type &) const;
///
///
char const * name() const;
///
- bool editing() const;
- ///
bool defining() const;
+ ///
+ void updateExpansion() const;
///
MathAtom & tmplate_;