rename thicknessMargins to thicknessEdges

Authored by mvourlakos on May 1 2020, 11:03 AM.

Description

rename thicknessMargins to thicknessEdges

--which is more accurate an Edge can be the calculated
distance of margin+border+padding like css is also
describing

Details

Committed
mvourlakosMay 1 2020, 11:03 AM
Parents
R878:c45e45138f26: rename Metrics padding.length
Branches
Unknown
Tags
Unknown