337 dot_y = (h // 2) - radius // 2 |
337 dot_y = (h // 2) - radius // 2 |
338 |
338 |
339 # draw a dot for the revision |
339 # draw a dot for the revision |
340 if currentRev: |
340 if currentRev: |
341 # enlarge dot for the current revision |
341 # enlarge dot for the current revision |
342 delta = 2 |
342 delta = 1 |
343 radius += 2 * delta |
343 radius += 2 * delta |
344 dot_y -= delta |
344 dot_y -= delta |
345 dot_x -= delta |
345 dot_x -= delta |
|
346 penradius = 3 |
346 painter.setBrush(dotColor) |
347 painter.setBrush(dotColor) |
347 pen = QPen(pencolor) |
348 pen = QPen(pencolor) |
348 pen.setWidth(penradius) |
349 pen.setWidth(penradius) |
349 painter.setPen(pen) |
350 painter.setPen(pen) |
350 if closed: |
351 if closed: |