tree 00aed342d93d9a2eb83e779a093c7a9762113a41
parent 925b481acb41b277a16f0a73f5aa8f9423ab60cd
author Patrick Dubroy <dubroy@google.com> 1281489063 -0700
committer Patrick Dubroy <dubroy@google.com> 1281489221 -0700

Fix workspace shrinking bug caused by change in animations

Change-Id: Ia34ae2a6cb863da28d319c46a95f61536cd31ade