// requires a full repaint
bool pi_full_repaint = pi_.full_repaint;
- // FIXME: text_metrics_.width() is only about 1.0857 * mi.base.textwidth
- pi_.base.textwidth = text_metrics_.width();
-
// FIXME: We should always use font, see documentation of
// noFontChange() in Inset.h.
pi_.base.font = inset->noFontChange() ?
void RowPainter::paintMisspelledMark(double orig_x, int desc)
{
int const y = yo_ + desc;
- pi_.pain.line(int(orig_x), y, int(x_), y, Color_red, Painter::line_onoffdash, 0.5);
+ pi_.pain.line(int(orig_x), y, int(x_), y, Color_red, Painter::line_onoffdash, 1.0);
}