diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-12-05 10:55:01 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-05 10:55:01 -0500 |
| commit | c90dd15feccdb121af5422d13b32ea0cc3bc0ac6 (patch) | |
| tree | 23695ddacc0ced1f017330abe83ee61c8dc776ee /components/script/task_source | |
| parent | 5cc68f507599f56beeb6623df6871504b95b3458 (diff) | |
| parent | 58623a6f5bd45f1e0e3f94fca15ab4a3793eb933 (diff) | |
| download | servo-c90dd15feccdb121af5422d13b32ea0cc3bc0ac6.tar.gz servo-c90dd15feccdb121af5422d13b32ea0cc3bc0ac6.zip | |
Auto merge of #24927 - ferjm:hololens.mediasession, r=paulrouget
Basic Media Session UI for Hololens
- [X] `./mach build -d` does not report any errors
- [X] `./mach test-tidy` does not report any errors
- [X] These changes fix #24807
This PR implements a extremely basic Media Session UI. The media controls are part of the main window, which is not very nice, but it is what we can do until #24873 is done.
Diffstat (limited to 'components/script/task_source')
0 files changed, 0 insertions, 0 deletions