}
-static int const d = Inset::TEXT_TO_INSET_OFFSET / 2;
-
void GuiFontMetrics::rectText(docstring const & str,
int & w, int & ascent, int & descent) const
{
+ static int const d = Inset::TEXT_TO_INSET_OFFSET / 2;
+
w = width(str) + Inset::TEXT_TO_INSET_OFFSET;
ascent = metrics_.ascent() + d;
descent = metrics_.descent() + d;
line(x, y + h - 1, x - 1 + w, y + h - 1, Color_buttonframe);
}
-static int const d = Inset::TEXT_TO_INSET_OFFSET / 2;
void GuiPainter::rectText(int x, int y, docstring const & str,
FontInfo const & font, ColorCode back, ColorCode frame)
FontMetrics const & fm = theFontMetrics(font);
fm.buttonText(str, width, ascent, descent);
+ static int const d = Inset::TEXT_TO_INSET_OFFSET / 2;
+
button(x + d, y - ascent, width - d, descent + ascent, mouseHover);
text(x + Inset::TEXT_TO_INSET_OFFSET, y, str, font);
}