#include <config.h>
#include "math_fboxinset.h"
-#include "math_support.h"
+#include "math_data.h"
#include "math_mathmlstream.h"
-#include "math_streamstr.h"
#include "math_parser.h"
+#include "math_streamstr.h"
+#include "LColor.h"
#include "frontends/Painter.h"
using std::auto_ptr;
{
if (key_->name == "fbox") {
FontSetChanger dummy(mi.base, "textnormal");
- cell(0).metrics(mi, dim_);
+ cell(0).metrics(mi, dim);
} else {
- cell(0).metrics(mi, dim_);
+ cell(0).metrics(mi, dim);
}
- metricsMarkers(5); // 5 pixels margin
- dim = dim_;
+ metricsMarkers(dim, 5); // 5 pixels margin
+ dim_ = dim;
}