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.
diff --git a/src/com/android/launcher/Workspace.java b/src/com/android/launcher/Workspace.java
index d474efa..f20572e 100644
--- a/src/com/android/launcher/Workspace.java
+++ b/src/com/android/launcher/Workspace.java
@@ -833,6 +833,8 @@
}
void snapToScreen(int whichScreen) {
+ if (!mScroller.isFinished()) return;
+
enableChildrenCache();
whichScreen = Math.max(0, Math.min(whichScreen, getChildCount() - 1));