- if (char_ == ' ') {
- int xp[4];
- int yp[4];
- int w = 10;
-
- xp[0] = ++x; yp[0] = y - 3;
- xp[1] = x; yp[1] = y;
- xp[2] = x + w - 2; yp[2] = y;
- xp[3] = x + w - 2; yp[3] = y - 3;
-
- pi.pain.lines(xp, yp, 4, Color_special);
- } else if (pi.base.fontname == "mathnormal") {