RenderButton::RenderButton()
- : editable_(false), inherit_font_(false)
+ : editable_(false), broken_(false), inherit_font_(false)
{}
void RenderButton::update(docstring const & text, bool editable,
- bool inherit)
+ bool inherit, bool broken)
{
text_ = text;
editable_ = editable;
inherit_font_ = inherit;
+ broken_ = broken;
}
}
-void RenderButton::draw(PainterInfo & pi, int x, int y) const
+void RenderButton::draw(PainterInfo & pi, int x, int y, bool) const
{
// Draw it as a box with the LaTeX text
FontInfo font = inherit_font_ ? pi.base.font : sane_font;
font.setColor(Color_command);
font.decSize();
- if (editable_) {
+ if (broken_) {
+ font.setColor(Color_command_broken);
+ pi.pain.buttonText(x, y, text_, font,
+ renderState() ? Color_buttonhoverbg_broken : Color_buttonbg_broken,
+ Color_buttonframe_broken, Inset::textOffset(pi.base.bv));
+ } else if (editable_) {
pi.pain.buttonText(x, y, text_, font,
renderState() ? Color_buttonhoverbg : Color_buttonbg,
Color_buttonframe, Inset::textOffset(pi.base.bv));