+ /// reference to the last item of the path, i.e. "The Cursor"
+ MathCursorPos & cursor();
+ /// reference to the last item of the path, i.e. "The Cursor"
+ MathCursorPos const & cursor() const;
+ /// how deep are we nested?
+ unsigned depth() const;
+
+ /// local dispatcher
+ int dispatch(string const & cmd);
+ /// describe the situation
+ string info() const;
+ /// dump selection information for debugging
+ void seldump(char const * str) const;
+ /// dump selection information for debugging
+ void dump(char const * str) const;
+ /// moves on
+ void setSelection(cursor_type const & where, size_type n);