tree 4b8056752852247d013cb95d1bf3dcb05dd48769
parent dff0fdb4172a230e4faff7ed93842c21a2d57335
author Prashant Malani <pmalani@google.com> 1423624179 -0800
committer Prashant Malani <pmalani@google.com> 1426034055 +0000

Make circular mask thickness configurable

Obtain the circular mask thickness as a dimension so that it can
be customized per-device.

Change-Id: Ied88f91424c5cf4f25dd1e78cf22f0fd7ea7b0a4
Signed-off-by: Prashant Malani <pmalani@google.com>