+void RowPainter::paintTooLargeMarks(bool const left, bool const right)
+{
+ if (left)
+ pi_.pain.line(int(dotted_line_thickness_), yo_ - row_.ascent(),
+ int(dotted_line_thickness_), yo_ + row_.descent(),
+ Color_scroll,
+ Painter::line_onoffdash, dotted_line_thickness_);
+ if (right) {
+ int const wwidth = pi_.base.bv->workWidth() - int(dotted_line_thickness_);
+ pi_.pain.line(wwidth, yo_ - row_.ascent(),
+ wwidth, yo_ + row_.descent(),
+ Color_scroll,
+ Painter::line_onoffdash, dotted_line_thickness_);
+ }
+}
+
+