tree 67649b96b891eeaa765bf15b228e1bc7c8340166
parent 51afc022fa76c79f0d1ece470ddc126c08fea8a4
author Romain Guy <romainguy@android.com> 1241656993 -0700
committer Romain Guy <romainguy@android.com> 1241656993 -0700

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.