chiark / gitweb /
poster-tube-lid: catch: Adjust catch_knob_height
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 27 Nov 2018 22:42:27 +0000 (22:42 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Tue, 27 Nov 2018 22:42:27 +0000 (22:42 +0000)
commit037bc7abf5d11b0a963bbe6fd1a0344dc4f124d9
tree68163d714a6d5c91ea00091cee2ff133227f9543
parentba927e2daa46673b81e7a0b3982823fef11e79d3
poster-tube-lid: catch: Adjust catch_knob_height

 * Include catch_head_th, so catch_knob_height is relative to that
 * Decrease catch_knob_heeight a bit to partially compensate
 * Result is that knob is somewhat higher

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
poster-tube-lid.scad