diff options
| author | Jorim Jaggi <jjaggi@google.com> | 2014-06-02 22:47:42 +0200 |
|---|---|---|
| committer | Jorim Jaggi <jjaggi@google.com> | 2014-06-02 21:34:33 +0000 |
| commit | 457cc356089c61317b4c29a3e83f5fc47edb68be (patch) | |
| tree | 504fe615bba36965056ac86935915aa623f6b23b /rs/java/android/renderscript/ProgramFragment.java | |
| parent | a9efb284088cf52a3819cdf88ff6cc4109e517ca (diff) | |
Hide header when notifications collide with it on Keyguard.
Bug: 15163546
Change-Id: If4f39786916df75537959a8104823353c475448f
Diffstat (limited to 'rs/java/android/renderscript/ProgramFragment.java')
0 files changed, 0 insertions, 0 deletions