Implement WebGL GetRenderbufferParameter

This needed a bump of gleam to version 0.4.33
This commit is contained in:
Fausto Núñez Alberro 2018-04-12 14:24:51 +02:00
parent 05fe8fa08d
commit 58760d91d1
No known key found for this signature in database
GPG key ID: 475A94D9B398B2DF
8 changed files with 158 additions and 129 deletions

View file

@ -571,8 +571,7 @@ interface WebGLRenderingContextBase
GLenum pname);
any getProgramParameter(WebGLProgram program, GLenum pname);
DOMString? getProgramInfoLog(WebGLProgram program);
// FIXME: https://github.com/servo/servo/issues/20514
// any getRenderbufferParameter(GLenum target, GLenum pname);
any getRenderbufferParameter(GLenum target, GLenum pname);
any getShaderParameter(WebGLShader shader, GLenum pname);
WebGLShaderPrecisionFormat? getShaderPrecisionFormat(GLenum shadertype, GLenum precisiontype);
DOMString? getShaderInfoLog(WebGLShader shader);