- float rad = hg / 2.0;
- if (rad <= 1.0) {
- scr.drawPoint(pgc,
- int(x2 - ((4.0 * hg) / 7.0)),
- y + hg35);
- scr.drawPoint(pgc,
- int(x2 + ((4.0 * hg) / 7.0)),
- y + hg35);
- } else {
- rad += .5; // this ensures that f.ex. 1.5 will
- // not be rounded down to .5 and then
- // converted to int = 0
- scr.fillArc(pgc, int(x2 - ((2.0 * hg) / 4.0)),
- y + hg35,
- rad, rad, 0, 360*64);
- scr.fillArc(pgc, int(x2 + ((2.0 * hg) / 4.0)),
- y + hg35,
- rad, rad, 0, 360*64);
- }
- //scr.drawText(font, "¨", 1, y + hg, x2);
+ pain.text(x2 - (lyxfont::rbearing('¨', font) - lyxfont::lbearing('¨', font)) / 2,
+ baseline - lyxfont::ascent(ic, font) - lyxfont::descent('¨', font) - ( lyxfont::ascent('¨', font) + lyxfont::descent('¨', font)) / 2,
+ '¨', font);