///
std::string const & getOptions() const { return p_.getOptions(); }
///
+ std::string const & getSecOptions() const { return p_.getSecOptions(); }
+ ///
RenderButton & button() const { return button_; }
protected:
///
- void priv_dispatch(LCursor & cur, FuncRequest const & cmd);
+ void priv_dispatch(LCursor & cur, FuncRequest & cmd);
///
std::string const getCommand() const { return p_.getCommand(); }
///
///
void setOptions(std::string const & o) { p_.setOptions(o); }
///
+ void setSecOptions(std::string const & s) { p_.setSecOptions(s); }
+ ///
void setParams(InsetCommandParams const &);
/// This should provide the text for the button
virtual std::string const getScreenLabel(Buffer const &) const = 0;