diff options
| author | Jorim Jaggi <jjaggi@google.com> | 2014-05-30 17:02:20 +0200 |
|---|---|---|
| committer | Jorim Jaggi <jjaggi@google.com> | 2014-05-31 14:19:25 +0200 |
| commit | 290600a08d0b7df691d6140b5557d795cd0581de (patch) | |
| tree | cb56ae4cd9ab1099a8d37fe90c87e6d249a653a2 /rs/java/android/renderscript/ProgramStore.java | |
| parent | 5d9cc668e16abf1306d82218cd3da29e28a454ae (diff) | |
Overscroll header when expanding the panel.
Bug: 14486987
Change-Id: I563aabf273328d733d7452af7f54db28934df9d9
Diffstat (limited to 'rs/java/android/renderscript/ProgramStore.java')
0 files changed, 0 insertions, 0 deletions