#include "RenderButton.h"
-#include "Color.h"
#include "MetricsInfo.h"
#include "frontends/FontMetrics.h"
void RenderButton::metrics(MetricsInfo &, Dimension & dim) const
{
- Font font(Font::ALL_SANE);
+ FontInfo font = sane_font;
font.decSize();
frontend::FontMetrics const & fm =
theFontMetrics(font);
else
fm.rectText(text_, dim.wid, dim.asc, dim.des);
- dim.wid += 4;
dim_ = dim;
}
void RenderButton::draw(PainterInfo & pi, int x, int y) const
{
// Draw it as a box with the LaTeX text
- Font font(Font::ALL_SANE);
- font.setColor(Color::command);
+ FontInfo font = sane_font;
+ font.setColor(Color_command);
font.decSize();
if (editable_) {
- pi.pain.buttonText(x + 2, y, text_, font, renderState());
+ pi.pain.buttonText(x, y, text_, font, renderState());
} else {
- pi.pain.rectText(x + 2, y, text_, font,
- Color::commandbg, Color::commandframe);
+ pi.pain.rectText(x, y, text_, font,
+ Color_commandbg, Color_commandframe);
}
}