commit f9e05736ef5d995a481998f3752dd237e9b8f83e
author Andrew Sapperstein <asapperstein@google.com> Wed Nov 15 18:06:51 2017 -0800
committer Andrew Sapperstein <asapperstein@google.com> Wed Nov 29 06:26:37 2017 -0800
tree d1a48cd6a02333f2057b6b6ce5b410d50527c186
parent 25c3c34c81b38c7afacbbd456236e1bfaaa1e0eb

Add ability to customize button corner radius.

Creates a new buttonCornerRadius public attribute to control
the rounded corner radius for buttons at the theme level.

Updates default button backgrounds to use new value and updates
themes to set the corner radius to existing value of 2dp.

Also adds a configuration hook for a device to change the value
for DeviceDefault-based themes.

Bug: 64122537
Bug: 69314526
Bug: 69367197
Test: ag/3238215
Change-Id: I00be0c53b99292e1728ecdf40d4c876e283e65da