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
diff --git a/src/com/android/launcher3/DeviceProfile.java b/src/com/android/launcher3/DeviceProfile.java
index 42f913c..c1c1204 100644
--- a/src/com/android/launcher3/DeviceProfile.java
+++ b/src/com/android/launcher3/DeviceProfile.java
@@ -128,7 +128,7 @@
private final Rect mHotseatPadding = new Rect();
private boolean mIsSeascape;
- // Icon badges
+ // Notification dots
public DotRenderer mDotRenderer;
public DeviceProfile(Context context, InvariantDeviceProfile inv,