diff options
author | Robert Snoeberger <snoeberger@google.com> | 2020-04-27 15:00:50 -0400 |
---|---|---|
committer | Robert Snoeberger <snoeberger@google.com> | 2020-04-27 22:46:29 -0400 |
commit | c981dc94eff8d675c77edf9c344ce50c5035dfef (patch) | |
tree | 1342910d6708978cee42930b9ecb2356e5ed843e /rs/java/android/renderscript/ProgramRaster.java | |
parent | 0920ccba1a00a468cd2364e1603e1b709e2c7323 (diff) |
Show "Device" for remote playback device.
Since we currently don't have access to the name of a remote device,
show a default string "Device" for the device name. In addition,
disable tap on the output switcher.
Fixes: 151486245
Test: manual - cast GPM to home mini and check output switcher in player
for correct icon and string. Additionally, check that tap is disabled.
Change-Id: I31d81f00f0b506b1e2ddc3158043e93cc6db35a8
Diffstat (limited to 'rs/java/android/renderscript/ProgramRaster.java')
0 files changed, 0 insertions, 0 deletions