2002-06-24 15:51:35 +00:00
|
|
|
#ifndef COMMAND_INSET_H
|
|
|
|
#define COMMAND_INSET_H
|
|
|
|
|
|
|
|
#include "button_inset.h"
|
|
|
|
|
|
|
|
// for things like \name[options]{contents}
|
|
|
|
class CommandInset : public ButtonInset {
|
|
|
|
public:
|
|
|
|
/// name, contents, options deliminited by '|++|'
|
|
|
|
explicit CommandInset(string const & data);
|
|
|
|
///
|
|
|
|
MathInset * clone() const;
|
|
|
|
///
|
|
|
|
void write(WriteStream & os) const;
|
|
|
|
///
|
|
|
|
//void infoize(std::ostream & os) const;
|
|
|
|
///
|
2002-08-19 10:11:13 +00:00
|
|
|
result_type dispatch(FuncRequest const & cmd, idx_type & idx, pos_type & pos);
|
2002-06-24 15:51:35 +00:00
|
|
|
///
|
|
|
|
string screenLabel() const;
|
|
|
|
public:
|
|
|
|
string name_;
|
|
|
|
};
|
|
|
|
|
|
|
|
#endif
|