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 -->
This commit is contained in:
bors-servo 2018-10-01 06:03:39 -04:00 committed by GitHub
commit 0dd7ea5f2c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -111,9 +111,7 @@ public class ServoView extends GLSurfaceView
}
public void flushGLBuffers() {
inUIThread(() -> {
requestRender();
});
requestRender();
}
// Scroll and click