diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-06-13 05:11:33 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-13 05:11:33 -0400 |
| commit | 5c4f54c4035d316eba55eda0186e2f2e010042d5 (patch) | |
| tree | 6335cf0b04e9a17ed597a95e4cd3ef08e496be68 /components/script/dom | |
| parent | cad2b164dcf699f9ea42f20961616639af979599 (diff) | |
| parent | c7603bd4ca5f7a41486d8a0afd623718e57c044f (diff) | |
| download | servo-5c4f54c4035d316eba55eda0186e2f2e010042d5.tar.gz servo-5c4f54c4035d316eba55eda0186e2f2e010042d5.zip | |
Auto merge of #21034 - servo:desktop-oes-element-index-uint, r=KiChjang
Don't check for GL_OES_element_index_unit with desktop GL (fixes #20921)
<!-- 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/21034)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/dom')
| -rw-r--r-- | components/script/dom/webgl_extensions/ext/oeselementindexuint.rs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/components/script/dom/webgl_extensions/ext/oeselementindexuint.rs b/components/script/dom/webgl_extensions/ext/oeselementindexuint.rs index 007cd72d18f..0e5ad367547 100644 --- a/components/script/dom/webgl_extensions/ext/oeselementindexuint.rs +++ b/components/script/dom/webgl_extensions/ext/oeselementindexuint.rs @@ -37,7 +37,11 @@ impl WebGLExtension for OESElementIndexUint { } fn is_supported(ext: &WebGLExtensions) -> bool { - ext.supports_gl_extension("GL_OES_element_index_uint") + if cfg!(any(target_os = "android", target_os = "ios")) { + return ext.supports_gl_extension("GL_OES_element_index_uint"); + } + // This extension is always available in desktop OpenGL. + true } fn enable(ext: &WebGLExtensions) { |