From 3d2a4819ac4d48b096a4580ca106d4aac50f218d Mon Sep 17 00:00:00 2001
From: Guillaume Collic <gcollic@gmail.com>
Date: Sun, 27 Mar 2022 22:17:09 +0200
Subject: [PATCH] feat: DividerTray make the play optional

---
 boxes/generators/dividertray.py | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/boxes/generators/dividertray.py b/boxes/generators/dividertray.py
index 0ba6392..17d0e26 100644
--- a/boxes/generators/dividertray.py
+++ b/boxes/generators/dividertray.py
@@ -82,6 +82,12 @@ class DividerTray(Boxes):
             default=15,
             help="divider's notch's depth",
         )
+        self.argparser.add_argument(
+            "--divider_play",
+            type=float,
+            default=0.15,
+            help="divider's play to avoid them clamping onto the walls",
+        )
         self.argparser.add_argument(
             "--left_wall",
             type=boolarg,
@@ -264,8 +270,7 @@ class DividerTray(Boxes):
             return
 
         # Upper edge with a finger notch
-
-        play = 0.05 * self.thickness
+        play = self.divider_play
 
         # Upper: first tab width
         self.edge(first_tab_width - play)