///
~InsetCommand();
///
- bool metrics(MetricsInfo &, Dimension &) const;
+ void metrics(MetricsInfo &, Dimension &) const;
+ ///
+ Dimension const dimension(BufferView const &) const { return button_.dimension(); }
///
void draw(PainterInfo & pi, int x, int y) const;
///
p_.setContents(c);
}
public:
+ /// tell that the button label should be recomputed.
+ void refresh() { updateButtonLabel_ = true; }
///
void setParam(std::string const & name, docstring const & value)
{
{
return p_[name];
}
+ ///
+ void edit(Cursor & cur, bool left);
/// FIXME remove
virtual void replaceContents(std::string const & from, std::string const & to);
///