commit | f34bee819c8fd88cfa0df8608e336b93aaf2e6ff | [log] [tgz] |
---|---|---|
author | Tony Wickham <twickham@google.com> | Mon Dec 03 18:11:39 2018 -0800 |
committer | Tony Wickham <twickham@google.com> | Tue Dec 04 10:46:40 2018 -0800 |
tree | 985ad9488b1f6b45bbbd3c8e539235f26bfb45f0 | |
parent | de78d7ca78b457c057f91ba838ea5c7c0f14c2dd [diff] |
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