Tweaking page indicators to support add page icon, remembering widget picker page (Bug 10787439)
Change-Id: Iab0b5676aa9c34a610b4b968940abc81c913c234
diff --git a/src/com/android/launcher3/PagedView.java b/src/com/android/launcher3/PagedView.java
index d8fc983..763dfa1 100644
--- a/src/com/android/launcher3/PagedView.java
+++ b/src/com/android/launcher3/PagedView.java
@@ -337,7 +337,8 @@
mPageIndicator = (PageIndicator) parent.findViewById(mPageIndicatorViewId);
mPageIndicator.removeAllMarkers(mAllowPagedViewAnimations);
- ArrayList<Integer> markers = new ArrayList<Integer>();
+ ArrayList<PageIndicator.PageMarkerResources> markers =
+ new ArrayList<PageIndicator.PageMarkerResources>();
for (int i = 0; i < getChildCount(); ++i) {
markers.add(getPageIndicatorMarker(i));
}
@@ -424,8 +425,8 @@
PageIndicator getPageIndicator() {
return mPageIndicator;
}
- protected int getPageIndicatorMarker(int pageIndex) {
- return R.layout.page_indicator_marker;
+ protected PageIndicator.PageMarkerResources getPageIndicatorMarker(int pageIndex) {
+ return new PageIndicator.PageMarkerResources();
}
public void setPageSwitchListener(PageSwitchListener pageSwitchListener) {
@@ -969,7 +970,8 @@
// add/remove pages
if (mPageIndicator != null && !isReordering(false)) {
int pageIndex = indexOfChild(child);
- mPageIndicator.addMarker(pageIndex, getPageIndicatorMarker(pageIndex),
+ mPageIndicator.addMarker(pageIndex,
+ getPageIndicatorMarker(pageIndex),
mAllowPagedViewAnimations);
}