diff options
author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-10-01 06:03:39 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-01 06:03:39 -0400 |
commit | 0dd7ea5f2cac8a2db522dd65003853bfa75d4d30 (patch) | |
tree | b9acd522c88649ddfbb3c168049be61c0e4aaacb /components/script/dom/webglrenderingcontext.rs | |
parent | 4205ff9c40a181748ca4b402e3a3d05c419eaf2d (diff) | |
parent | 4db25fe581d649657d39c6cfd09d2993f6ea9e1d (diff) | |
download | servo-0dd7ea5f2cac8a2db522dd65003853bfa75d4d30.tar.gz servo-0dd7ea5f2cac8a2db522dd65003853bfa75d4d30.zip |
Auto merge of #21848 - servo:jdm-patch-38, r=paulrouget
Remove unnecessary thread specification when flushing GL on Android.
According to [the docs](https://developer.android.com/reference/android/opengl/GLSurfaceView#requestRender()) requestRender can be called from any thread, so we're just introducing unnecessary latency.
<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/21848)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom/webglrenderingcontext.rs')
0 files changed, 0 insertions, 0 deletions