tracegroup.cpp: Fix a potential unintended integer division.

Reported by Coverity (CID 279773):

  Result is not floating-point (UNINTENDED_INTEGER_DIVISION)
    integer_division: Dividing integer expressions -5 and 2, and then
    converting the integer quotient to type double. Any remainder, or
    fractional part of the quotient, is ignored.

diff --git a/pv/views/trace/tracegroup.cpp b/pv/views/trace/tracegroup.cpp
index 3fbb864e8bca07111d359718274d6b5bd1e23d5e..6df8f6506b9ea3a552d40e4dc5dcdd86f6d71ba2 100644 (file)
--- a/pv/views/trace/tracegroup.cpp
+++ b/pv/views/trace/tracegroup.cpp
@@ -85,8 +85,8 @@ pair<int, int> TraceGroup::v_extents() const
 void TraceGroup::paint_label(QPainter &p, const QRect &rect, bool hover)
 {
        const QRectF r = label_rect(rect).adjusted(
-               LineThickness / 2, LineThickness / 2,
-               -LineThickness / 2, -LineThickness / 2);
+               LineThickness / 2.0, LineThickness / 2.0,
+               -LineThickness / 2.0, -LineThickness / 2.0);
 
        // Paint the label
        const QPointF points[] = {