tree 985ad9488b1f6b45bbbd3c8e539235f26bfb45f0
parent de78d7ca78b457c057f91ba838ea5c7c0f14c2dd
author Tony Wickham <twickham@google.com> 1543889499 -0800
committer Tony Wickham <twickham@google.com> 1543949200 -0800

Rename "badges" to "dots" where appropriate

This will reduce confusion with the other "badging" concept we use for,
e.g. work profiles. It is also consistent with the external name
"notification dots".

Change-Id: I2a2c9d96dc0d6284eb0c48adc78a856271caad4d