diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-11-26 06:41:33 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-26 06:41:33 -0500 |
| commit | 799057f1e62d96bbc765ac378c78d9f1049b6ced (patch) | |
| tree | c8c006a538b9e8d8cba4c68c8ce2bafb070a3887 /components/script/task_source/media_element.rs | |
| parent | 75aba2b7d95588ded6f0383057b96cc871410c5a (diff) | |
| parent | 2356f3ea6b9d0e3bb5f204a1d2b59346bb5e6266 (diff) | |
| download | servo-799057f1e62d96bbc765ac378c78d9f1049b6ced.tar.gz servo-799057f1e62d96bbc765ac378c78d9f1049b6ced.zip | |
Auto merge of #24863 - asajeffrey:gstplugin-resizing, r=ferjm
The gstreamer plugin should resize when it's presented with frames to fill
<!-- Please describe your changes on the following line: -->
This is a workaround for race conditions in the embedder.
---
<!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `___` with appropriate data: -->
- [x] `./mach build -d` does not report any errors
- [x] `./mach test-tidy` does not report any errors
- [x] These changes fix #24835
- [x] These changes do not require tests because it's fixing a bug with an embedding
<!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.-->
<!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. -->
Diffstat (limited to 'components/script/task_source/media_element.rs')
0 files changed, 0 insertions, 0 deletions