#include <config.h>
#include "InsetMathNumber.h"
-#include "MathMLStream.h"
+#include "MathStream.h"
#include "MathStream.h"
#include "MathSupport.h"
using std::string;
using std::auto_ptr;
+using std::vector;
-
-InsetMathNumber::InsetMathNumber(string const & s)
+InsetMathNumber::InsetMathNumber(docstring const & s)
: str_(s)
{}
void InsetMathNumber::metrics(MetricsInfo & mi, Dimension & dim) const
{
- // FIXME UNICODE
- mathed_string_dim(mi.base.font, from_utf8(str_), dim);
+ mathed_string_dim(mi.base.font, str_, dim);
}
void InsetMathNumber::draw(PainterInfo & pi, int x, int y) const
{
- // FIXME UNICODE
- pi.draw(x, y, from_utf8(str_));
+ pi.draw(x, y, str_);
}
}
-void InsetMathNumber::mathmlize(MathMLStream & os) const
+void InsetMathNumber::mathmlize(MathStream & os) const
{
os << "<mi> " << str_ << " </mi>";
}