}
FontInfo copy = font;
- if (selection)
- copy.setColor(Color_selectiontext);
- else if (change_type == Change::DELETED)
+ if (change_type == Change::DELETED)
copy.setColor(Color_deletedtext);
else if (change_type == Change::INSERTED)
copy.setColor(Color_addedtext);
+ else if (selection)
+ copy.setColor(Color_selectiontext);
x_ += pi_.pain.text(int(x_), yo_, s, copy);
}
}
+void RowPainter::paintMisspelledMark(double orig_x, int desc)
+{
+ int const y = yo_ + desc;
+ pi_.pain.wavyHorizontalLine(int(orig_x), y, int(x_) - int(orig_x), Color_red);
+}
+
+
void RowPainter::paintFromPos(pos_type & vpos)
{
pos_type const pos = bidi_.vis2log(vpos);
}
paintForeignMark(orig_x, orig_font.language());
+ if (orig_font.isMisspelled())
+ paintMisspelledMark(orig_x, 3);
}