scripts/last-dotplot
changeset 912 8834139fa8a8
parent 911 4080f3f6f73d
child 913 e87abc7ae9c6
     1.1 --- a/scripts/last-dotplot	Wed Nov 08 17:59:10 2017 +0900
     1.2 +++ b/scripts/last-dotplot	Wed Nov 08 18:14:51 2017 +0900
     1.3 @@ -533,6 +533,8 @@
     1.4                  b = div_ceil(origin + beg, bpPerPix)
     1.5                  e = (origin + end) // bpPerPix
     1.6                  if e <= b: continue
     1.7 +                if end == rangeEnd:  # include partly-covered end pixels
     1.8 +                    e = div_ceil(origin + end, bpPerPix)
     1.9              if isTop:
    1.10                  box = b, margin, e, edge
    1.11              else: