+ ///
+ TocWidget(GuiView & gui_view, QWidget * parent = 0);
+
+ /// Initialise GUI.
+ void init(QString const & str);
+ ///
+ void doDispatch(Cursor & cur, FuncRequest const & fr);
+ ///
+ bool getStatus(Cursor & cur, FuncRequest const & fr, FuncStatus & status)
+ const;