public:
RenderButton();
- std::auto_ptr<RenderBase> clone(InsetBase const *) const;
+ RenderBase * clone(Inset const *) const override;
/// compute the size of the object returned in dim
- virtual bool metrics(MetricsInfo & mi, Dimension & dim) const;
+ void metrics(MetricsInfo & mi, Dimension & dim) const override;
/// draw inset and update (xo, yo)-cache
- virtual void draw(PainterInfo & pi, int x, int y) const;
+ void draw(PainterInfo & pi, int x, int y) const override;
/// Provide the text for the button
- void update(docstring const &, bool editable);
+ void update(docstring const &, bool editable,
+ bool inherit, bool broken = false);
/// The "sensitive area" box, i.e., the button area
Box box() const { return button_box_; }
void setBox(Box b) { button_box_ = b; }
/// equivalent to dynamic_cast
- virtual RenderButton * asButton() { return this; }
+ RenderButton * asButton() override { return this; }
private:
/// The stored data.
docstring text_;
bool editable_;
+ bool broken_;
+ bool inherit_font_;
Box button_box_;
};