tree 76dda2c024f4138ccccb8a5805c5772e2e17812c
parent b8139ab650b7b3661401bc0a175a148ca34eb4fa
author Romain Guy <romainguy@android.com> 1260236882 -0800
committer Romain Guy <romainguy@android.com> 1260237675 -0800

Let the user click the dots during a scroll on Home.

This allows faster scroll across Home. Also remove dead code.