From 82d94d9e9ee4eb6b14db3c8df2f47dcae5ce4ab0 Mon Sep 17 00:00:00 2001
From: Romain Guy <romainguy@android.com>
Date: Wed, 6 May 2009 17:43:13 -0700
Subject: [PATCH] Fixes 1543726. Double-clicking Home should not make the
 workspace disappear. This was caused by the workspace optimization that draws
 only what is thought to be the current celllayout.

---
 src/com/android/launcher/Workspace.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/com/android/launcher/Workspace.java b/src/com/android/launcher/Workspace.java
index d474efa60f..f20572e82b 100644
--- a/src/com/android/launcher/Workspace.java
+++ b/src/com/android/launcher/Workspace.java
@@ -833,6 +833,8 @@ public class Workspace extends ViewGroup implements DropTarget, DragSource, Drag
     }
 
     void snapToScreen(int whichScreen) {
+        if (!mScroller.isFinished()) return;
+
         enableChildrenCache();
 
         whichScreen = Math.max(0, Math.min(whichScreen, getChildCount() - 1));