#include "InsetNewline.h"
#include "debug.h"
-#include "Color.h"
-#include "Text.h"
+#include "Dimension.h"
#include "MetricsInfo.h"
#include "OutputParams.h"
-#include "Paragraph.h"
-#include "paragraph_funcs.h"
#include "frontends/FontMetrics.h"
#include "frontends/Painter.h"
}
-bool InsetNewline::metrics(MetricsInfo & mi, Dimension & dim) const
+void InsetNewline::metrics(MetricsInfo & mi, Dimension & dim) const
{
frontend::FontMetrics const & fm = theFontMetrics(mi.base.font);
dim.asc = fm.maxAscent();
dim.des = fm.maxDescent();
dim.wid = fm.width('n');
- bool const changed = dim_ != dim;
- dim_ = dim;
- return changed;
}
int InsetNewline::plaintext(Buffer const &, odocstream & os,
- OutputParams const &) const
+ OutputParams const &) const
{
os << '\n';
return PLAINTEXT_NEWLINE;
xp[2] = int(x + wid * 0.625);
}
- pi.pain.lines(xp, yp, 3, Color::eolmarker);
+ pi.pain.lines(xp, yp, 3, Color_eolmarker);
yp[0] = int(y - 0.500 * asc * 0.75);
yp[1] = int(y - 0.500 * asc * 0.75);
xp[2] = int(x);
}
- pi.pain.lines(xp, yp, 3, Color::eolmarker);
+ pi.pain.lines(xp, yp, 3, Color_eolmarker);
}