Florian Festi d782eb281c FingerJointEdges: Better deal with short edges ... Shrink surroundingspaces when need to still fit at least one finger. If even one regular finger won't fit use a small rectangular style finger. This is a bit hacky as the same logic is copied in both FingerJointEdge and FingerHoles		2022-09-30 19:28:01 +02:00
..
generators	fixed edge ordering for topEdges() function	2022-09-24 08:36:00 +02:00
Color.py	Add labels to some generators	2022-05-14 10:35:58 +02:00
__init__.py	Add HandleEdge	2022-09-24 08:36:00 +02:00
drawing.py	Only merge paths with the same color and width	2022-06-28 08:35:00 +02:00
edges.py	FingerJointEdges: Better deal with short edges	2022-09-30 19:28:01 +02:00
extents.py	Fix white space in boxes/extents.py	2022-09-06 18:54:44 +02:00
formats.py	Use elif	2022-03-27 22:09:39 +02:00
gears.py	Gears: Use proper metric module	2021-06-26 10:58:25 +02:00
lids.py	Add HandleEdge	2022-09-24 08:36:00 +02:00
parts.py	Add labels to some generators	2022-05-14 10:35:58 +02:00
pulley.py	Fix pulley size calculation for r_axle being None	2017-03-29 07:40:17 +02:00
robot.py	Add translate param	2020-04-20 16:30:33 +02:00
servos.py	Add translate param	2020-04-20 16:30:33 +02:00
svgutil.py	Remove SVG and PS post processing code	2020-05-18 22:30:28 +02:00
vectors.py	Add tangent() function	2017-02-22 20:01:28 +01:00
walledges.py	SlatWallEdges: Add parameters for hook heights	2022-09-22 19:44:06 +02:00