From 44cf852facd3b7218861d085f83e5e27c43b39e5 Mon Sep 17 00:00:00 2001 From: Florian Festi Date: Sun, 18 Jul 2021 15:36:12 +0200 Subject: [PATCH] Openbox: Add edgetype parameter --- boxes/generators/openbox.py | 13 +++++++++---- 1 file changed, 9 insertions(+), 4 deletions(-) diff --git a/boxes/generators/openbox.py b/boxes/generators/openbox.py index 6f3aa9a..0b16343 100644 --- a/boxes/generators/openbox.py +++ b/boxes/generators/openbox.py @@ -24,6 +24,11 @@ class OpenBox(Boxes): def __init__(self): Boxes.__init__(self) self.buildArgParser("x", "y", "h", "outside") + self.argparser.add_argument( + "--edgetype", action="store", + type=ArgparseEdgeType("Fh"), choices=list("Fh"), + default="F", + help="edge type") self.addSettingsArgs(edges.FingerJointSettings) def render(self): @@ -35,8 +40,8 @@ class OpenBox(Boxes): y = self.adjustSize(y, False) h = self.adjustSize(h, False) - - self.rectangularWall(x, h, "FFeF", move="right") - self.rectangularWall(y, h, "Feef", move="up") - self.rectangularWall(y, h, "Feef") + e = self.edgetype + self.rectangularWall(x, h, [e, e, "e", e], move="right") + self.rectangularWall(y, h, [e, "e", "e", "f"], move="up") + self.rectangularWall(y, h, [e, "e", "e", "f"]) self.rectangularWall(x, y, "efff", move="left")