diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-12-20 16:09:16 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-12-20 16:09:16 -0500 |
commit | 62899c0f52dd7ecbae89690109e2d50806a1ca9c (patch) | |
tree | feae175f0ed4cb874b99b1f0cc09cd9923e7c237 /components/script/dom | |
parent | 352e2277eb2cd0a72393e20aac9ac40d1e44de44 (diff) | |
parent | b5943f5ab36b3ef718a7908a1b624f077b9ab79c (diff) | |
download | servo-62899c0f52dd7ecbae89690109e2d50806a1ca9c.tar.gz servo-62899c0f52dd7ecbae89690109e2d50806a1ca9c.zip |
Auto merge of #25334 - asajeffrey:gstplugins-misc-tidying-up, r=jdm
Gstreamer plugin running in wayland with surfman 0.2
<!-- Please describe your changes on the following line: -->
Tidying up the gstreamer plugin. The plugin now:
* uses surfman 0.2
* runs in wayland (but can't render WebGL content yet)
* gets its GL configuration from gstreamer
* uses GLsync if needed
---
<!-- 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 #24843
- [X] These changes do not require tests because
<!-- 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/dom')
0 files changed, 0 insertions, 0 deletions