- if (left)
- pi_.pain.line(pi_.base.dottedLineThickness(), yo_ - row_.ascent(),
- pi_.base.dottedLineThickness(), yo_ + row_.descent(),
- Color_scroll, Painter::line_onoffdash,
- pi_.base.dottedLineThickness());
+ int const lwid = pi_.base.dottedLineThickness();
+ Dimension const & cdim = row_.contents_dim();
+ if (left) {
+ int const x = pi_.base.bv->leftMargin() - lwid;
+ pi_.pain.line(x, yo_ - cdim.ascent(), x, yo_ + cdim.descent(),
+ Color_scroll, Painter::line_onoffdash, lwid);
+ }