1 #ifndef COMMAND_INSET_H
2 #define COMMAND_INSET_H
4 #include "button_inset.h"
6 // for things like \name[options]{contents}
7 class CommandInset : public ButtonInset {
9 /// name, contents, options deliminited by '|++|'
10 explicit CommandInset(string const & data);
12 MathInset * clone() const;
14 void write(WriteStream & os) const;
16 //void infoize(std::ostream & os) const;
18 //int dispatch(string const & cmd, idx_type idx, pos_type pos);
20 string screenLabel() const;