rectangularWall: Fix placement for ignore_widths 6

we need to move for the edge margin every time. Otherwise the edge will
stick out.
This commit is contained in:
Florian Festi 2022-08-08 21:36:22 +02:00
parent 00ab597773
commit d6faf5be3e
1 changed files with 1 additions and 2 deletions

View File

@ -2357,8 +2357,7 @@ class Boxes:
if 7 not in ignore_widths: if 7 not in ignore_widths:
self.moveTo(edges[-1].spacing()) self.moveTo(edges[-1].spacing())
if 6 not in ignore_widths: self.moveTo(0, edges[0].margin())
self.moveTo(0, edges[0].margin())
for i, l in enumerate((x, y, x, y)): for i, l in enumerate((x, y, x, y)):
self.cc(callback, i, y=edges[i].startwidth() + self.burn) self.cc(callback, i, y=edges[i].startwidth() + self.burn)
e1, e2 = edges[i], edges[i + 1] e1, e2 = edges[i], edges[i + 1]