#include "InsetLine.h"
#include "debug.h"
-#include "Color.h"
-#include "Text.h"
+#include "Dimension.h"
+#include "Font.h"
#include "MetricsInfo.h"
#include "LaTeXFeatures.h"
#include "OutputParams.h"
+#include "Text.h"
+
+#include "support/docstream.h"
#include "frontends/Painter.h"
dim.asc = 3;
dim.des = 3;
dim.wid = mi.base.textwidth;
+ // Cache the inset dimension.
+ setDimCache(mi, dim);
}
void InsetLine::draw(PainterInfo & pi, int x, int y) const
{
- pi.pain.line(x, y, x + pi.base.textwidth, y, Color::topline,
+ Dimension const dim = dimension(*pi.base.bv);
+ pi.pain.line(x, y, x + dim.wid, y, Color_topline,
Painter::line_solid, Painter::line_thick);
}