#include "InsetNewline.h"
#include "debug.h"
-#include "Color.h"
-#include "Text.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;
}