tree dd43dab03be6610b6e9d615e0c5e8c880511a24d
parent d4b28d2e1bb73fcdb1e46bb06e1666e27af2e643
author Tony Wickham <twickham@google.com> 1464738901 -0700
committer Tony Wickham <twickham@google.com> 1464829177 -0700

Animate size and position of page indicator when adding/removing page

Change-Id: I85f37a4e0aeb8c3fd0bd8da3b90338d0333a84d5