///
Inset * editXY(Cursor & cur, int x, int y);
- /// target pos when we enter the inset from the left by pressing "Right"
+ /// target pos when we enter the inset while moving forward
bool idxFirst(Cursor &) const;
- /// target pos when we enter the inset from the right by pressing "Left"
+ /// target pos when we enter the inset while moving backwards
bool idxLast(Cursor &) const;
///
enum DisplayMode {
DISPLAY_INIT,
- DISPLAY_NONGREEDY_INIT,
+ DISPLAY_INTERACTIVE_INIT,
DISPLAY_UNFOLDED,
DISPLAY_NORMAL,
};
/// update the display mode (should only be called after detaching arguments)
void setDisplayMode(DisplayMode mode);
/// compute the next display mode
- DisplayMode computeDisplayMode(MetricsInfo const & mi) const;
+ DisplayMode computeDisplayMode() const;
/// update macro definition
- void updateMacro(MetricsInfo & mi);
+ void updateMacro(MacroContext const & mc);
/// check if macro definition changed, argument changed etc. and adapt
- void updateRepresentation(MetricsInfo & mi);
+ void updateRepresentation(Cursor const * bvCur);
/// empty macro, put arguments into args, possibly strip arity-attachedArgsNum_ empty ones.
/// Includes the optional arguments.
void detachArguments(std::vector<MathData> & args, bool strip);