**/
void initView();
+ ///
+ bool isLabeled() const { return true; }
+
///
docstring screenLabel() const;
///
///
void updateLabels(ParIterator const & it);
///
- void addToToc(ParConstIterator const &) const;
+ void addToToc(DocIterator const &);
///
void updateCommand(docstring const & new_label, bool updaterefs = true);
protected: