Reduce pro micro holder thickness

This commit is contained in:
Leo Lou 2018-04-21 16:23:14 +09:00
parent 0c349e7e63
commit d07a95c62e

View file

@ -555,7 +555,7 @@
(def pro-micro-position (map + (key-position 0 2 (wall-locate3 -1 0)) [-5 0 -20])) (def pro-micro-position (map + (key-position 0 2 (wall-locate3 -1 0)) [-5 0 -20]))
(def pro-micro-space-size [4 18 12]) ; z has no wall; (def pro-micro-space-size [4 18 12]) ; z has no wall;
(def pro-micro-wall-thickness 4) (def pro-micro-wall-thickness 2)
(def pro-micro-holder-size [(+ pro-micro-wall-thickness (first pro-micro-space-size)) (+ pro-micro-wall-thickness (second pro-micro-space-size)) (last pro-micro-space-size)]) (def pro-micro-holder-size [(+ pro-micro-wall-thickness (first pro-micro-space-size)) (+ pro-micro-wall-thickness (second pro-micro-space-size)) (last pro-micro-space-size)])
(def pro-micro-holder (def pro-micro-holder
(->> (cube (first pro-micro-holder-size) (second pro-micro-holder-size) (last pro-micro-holder-size)) (->> (cube (first pro-micro-holder-size) (second pro-micro-holder-size) (last pro-micro-holder-size))