void RenderButton::update(docstring const & text, bool editable,
- bool inherit_font)
+ bool inherit)
{
text_ = text;
editable_ = editable;
- inherit_font_ = inherit_font;
+ inherit_font_ = inherit;
}
font.decSize();
frontend::FontMetrics const & fm = theFontMetrics(font);
- fm.buttonText(text_, Inset::TEXT_TO_INSET_OFFSET, dim.wid, dim.asc, dim.des);
+ fm.buttonText(text_, Inset::textOffset(mi.base.bv), dim.wid, dim.asc, dim.des);
dim_ = dim;
}
if (editable_) {
pi.pain.buttonText(x, y, text_, font,
renderState() ? Color_buttonhoverbg : Color_buttonbg,
- Color_buttonframe, Inset::TEXT_TO_INSET_OFFSET);
+ Color_buttonframe, Inset::textOffset(pi.base.bv));
} else {
pi.pain.buttonText(x, y, text_, font,
Color_commandbg, Color_commandframe,
- Inset::TEXT_TO_INSET_OFFSET);
+ Inset::textOffset(pi.base.bv));
}
}