- void update(docstring const &, bool editable, bool inherit_font);
-
- /// The "sensitive area" box, i.e., the button area
- Box box() const { return button_box_; }
- ///
- void setBox(Box b) { button_box_ = b; }
+ void update(docstring const &, bool editable,
+ bool inherit, bool broken = false);