tree 8b188e770e842eb14f72fd6d5b19d01b13e46bcb
parent 3ec8bdd576e23f6aa783d5377abecac6fda07374
author Michael Jurka <mikejurka@google.com> 1281413132 -0700
committer Michael Jurka <mikejurka@google.com> 1281474620 -0700

workspace bug fixes

- fixed: pressing home sometimes left workspaces
in shrunken state
- fixed: position of delete zone (trash icon)
- fixed: workspace unshrink sometimes looked weird
when coming from all apps
- fixed: clicking power button and returning left
workspace in shrunken state

Change-Id: Ie974202926e6880ccda26ac9fe967fb587a9b7a3