if (x1 > x2)
swap(x1, x2);
- pi_.pain.line(int(x_ + x1), y, int(x_ + x2), y,
+ pi_.pain.line(int(x_ + x1), y, int(x_ + x2), y,
Color_error,
Painter::line_onoffdash, thickness);
pos = range.last + 1;
double x2 = e.pos2x(to);
if (x1 > x2)
swap(x1, x2);
- pi_.pain.fillRectangle(int(x + x1), y1, int(x2 - x1), y2 - y1,
- Color_selection);
+ // the 3rd argument is written like that to avoid rounding issues
+ pi_.pain.fillRectangle(int(x + x1), y1, int(x2 + x) - int(x1 + x),
+ y2 - y1, Color_selection);
}
x += e.full_width();
}