Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-03 04:30:10 +01:00
Code Issues Projects Releases Packages Wiki Activity

Auto merge of #21034 - servo:desktop-oes-element-index-uint, r=KiChjang

Browse source 
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 -->
This commit is contained in:
bors-servo 2018-06-13 05:11:33 -04:00 • committed by GitHub
commit 5c4f54c403
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 12 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

6
components/script/dom/webgl_extensions/ext/oeselementindexuint.rs
View file

@ -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) {