| commit | 0dd6881ea481c855976214807c17595b34a2920a | [log] [tgz] |
|---|---|---|
| author | Jorim Jaggi <jjaggi@google.com> | Thu May 01 19:17:37 2014 +0200 |
| committer | Jorim Jaggi <jjaggi@google.com> | Fri May 02 16:14:49 2014 +0200 |
| tree | 9c4e9949a9c82360d0cd5bfebce62fbda4c51e5e | |
| parent | 4222d9a7fb87d73e1443ec1a2de9782b05741af6 [diff] |
Introduce animation for changing top margin. Change-Id: I7f77a1c69efc2dca3e5a37e7d6fc497ae487ec46