///
int docbook(odocstream &, OutputParams const &) const;
///
- docstring xhtml(XHTMLStream &, OutputParams const &) const;
+ docstring xhtml(XMLStream &, OutputParams const &) const;
///
void toString(odocstream &) const;
///
static bool isCompatibleCommand(std::string const & s);
//@}
/// keys are commands, values are GUI strings
- static const std::map<std::string, std::string> counterTable;
+ static const std::vector<std::pair<std::string, std::string>> counterTable;
static const std::map<std::string, std::string> valueTable;
protected: