From 483543f31cd2a8b66c9faaf7fcb25c84296730ec Mon Sep 17 00:00:00 2001 From: Romain Guy Date: Thu, 28 Jan 2010 14:06:31 -0800 Subject: [PATCH] Update the position markers when going back to Home. --- src/com/android/launcher2/Workspace.java | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/com/android/launcher2/Workspace.java b/src/com/android/launcher2/Workspace.java index 8732929d80..2c95beea85 100644 --- a/src/com/android/launcher2/Workspace.java +++ b/src/com/android/launcher2/Workspace.java @@ -249,6 +249,8 @@ public class Workspace extends ViewGroup implements DropTarget, DragSource, Drag if (!mScroller.isFinished()) mScroller.abortAnimation(); clearVacantCache(); mCurrentScreen = Math.max(0, Math.min(currentScreen, getChildCount() - 1)); + mPreviousIndicator.setLevel(mCurrentScreen); + mNextIndicator.setLevel(mCurrentScreen); scrollTo(mCurrentScreen * getWidth(), 0); invalidate(); }