tree f6127de930fef2dea4076f1a8a734005ac744fee
parent dee0589388ba0f6373912e18bf86243282fb3b9b
author Michael Jurka <mikejurka@google.com> 1280341765 -0700
committer Michael Jurka <mikejurka@google.com> 1280355087 -0700

Improved support for workspace screen thumbnails

- Shrinking workspace view in All Apps
- Added vertical margin for workspace screen thumnbnails
- Fixed bugs in a few of the Launcher state transitions (e.g. customization to all apps)

Change-Id: I9ad1c8861585d78fdb2e3bc986a614526b3cfe5f