#include "frontends/font_metrics.h"
#include "frontends/lyx_gui.h"
-#include "support/std_sstream.h"
-
#include <map>
+#include <sstream>
using std::string;
int(x + xx + 0.5), int(y + yy + 0.5),
int(x + x2 + 0.5), int(y + y2 + 0.5),
LColor::math);
- } else {
+ } else {
int xp[32];
int yp[32];
int const n = int(d[i++]);