diff options
author | Tony Wickham <twickham@google.com> | 2016-05-16 09:54:06 -0700 |
---|---|---|
committer | Tony Wickham <twickham@google.com> | 2016-05-17 18:53:57 -0700 |
commit | f549dab31d0fa3e4d0cf8d6025b20e49aafb2d59 (patch) | |
tree | a10ccc74b4d0ad6f353a0a6853950335156c748b /src/com/android/launcher3/PinchAnimationManager.java | |
parent | 192ae6ca71b0a1401ad44020b631c634a348597e (diff) | |
download | packages_apps_Trebuchet-f549dab31d0fa3e4d0cf8d6025b20e49aafb2d59.tar.gz packages_apps_Trebuchet-f549dab31d0fa3e4d0cf8d6025b20e49aafb2d59.tar.bz2 packages_apps_Trebuchet-f549dab31d0fa3e4d0cf8d6025b20e49aafb2d59.zip |
Add PageIndicator interface and custom PageIndicatorLine view.
- The current PageIndicator has been renamed to PageIndicatorDots
and PageIndicatorMarker has been renamed to PageIndicatorDot.
- PageIndicatorDots and PageIndicatorLine implement PageIndicator.
- PageIndicatorLine uses scroll progress and number of pages to
draw a line of the correct size and position.
- All of these page indicator files are now in a pageindicators package.
Bug: 27227498
Change-Id: I9230d2e0600ce583989bd31d0b0e252b148d15c2
Diffstat (limited to 'src/com/android/launcher3/PinchAnimationManager.java')
-rw-r--r-- | src/com/android/launcher3/PinchAnimationManager.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/com/android/launcher3/PinchAnimationManager.java b/src/com/android/launcher3/PinchAnimationManager.java index c8c8fa4c8..477b92cc0 100644 --- a/src/com/android/launcher3/PinchAnimationManager.java +++ b/src/com/android/launcher3/PinchAnimationManager.java @@ -194,7 +194,7 @@ public class PinchAnimationManager { animateShowHideView(INDEX_HOTSEAT, mLauncher.getHotseat(), show); if (mWorkspace.getPageIndicator() != null) { // There aren't page indicators in landscape mode on phones, hence the null check. - animateShowHideView(INDEX_PAGE_INDICATOR, mWorkspace.getPageIndicator(), show); + animateShowHideView(INDEX_PAGE_INDICATOR, mWorkspace.getPageIndicator().getView(), show); } } |