///
std::string short_gui_name;
};
- static type_info types[];
+ static const type_info types[];
///
static int getType(std::string const & name);
///
///
void toString(odocstream &) const;
///
- void forToc(docstring &, size_t) const;
+ void forOutliner(docstring &, size_t) const;
///
void validate(LaTeXFeatures & features) const;
///