#include "support/lstrings.h"
#include "TextPainter.h"
+#include "frontends/FontMetrics.h"
+
using std::auto_ptr;
extern bool has_math_fonts;
whichFont(font_, code_, mi);
mathed_char_dim(font_, char_, dim_);
if (isBinaryOp(char_, code_))
- width_ += 2 * font_metrics::width(' ', font_);
+ width_ += 2 * theFontMetrics(font_).width(' ');
lyxerr << "InsetMathChar::metrics: " << dim << endl;
#endif
width_ = dim.wid;