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: