| Index: client/dom/generated/src/frog/WebGLRenderingContext.dart
|
| diff --git a/client/dom/generated/src/frog/WebGLRenderingContext.dart b/client/dom/generated/src/frog/WebGLRenderingContext.dart
|
| index 8340ca12030d02bca3593aa0b7ec87927158fb3f..f5b630f2550b0861d10591b5cf01e6947e96677a 100644
|
| --- a/client/dom/generated/src/frog/WebGLRenderingContext.dart
|
| +++ b/client/dom/generated/src/frog/WebGLRenderingContext.dart
|
| @@ -595,9 +595,9 @@ class WebGLRenderingContext extends CanvasRenderingContext native "*WebGLRenderi
|
|
|
| static final int ZERO = 0;
|
|
|
| - int drawingBufferHeight;
|
| + int get drawingBufferHeight() native "return this.drawingBufferHeight;";
|
|
|
| - int drawingBufferWidth;
|
| + int get drawingBufferWidth() native "return this.drawingBufferWidth;";
|
|
|
| void activeTexture(int texture) native;
|
|
|
|
|