///
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:
docstring screenLabel() const { return screen_label_; }
//@}
///
- docstring value() const;
- ///
docstring lyxSaveCounter() const;
///
void trackCounters(std::string const & cmd) const;