| Index: client/dom/generated/src/frog/HTMLVideoElement.dart
|
| diff --git a/client/dom/generated/src/frog/HTMLVideoElement.dart b/client/dom/generated/src/frog/HTMLVideoElement.dart
|
| index 3f653fb03b98eab35885eca380e894797bbaeed7..264c319cacf317627e352244254e9f410e9834e5 100644
|
| --- a/client/dom/generated/src/frog/HTMLVideoElement.dart
|
| +++ b/client/dom/generated/src/frog/HTMLVideoElement.dart
|
| @@ -1,29 +1,23 @@
|
|
|
| class _HTMLVideoElementJs extends _HTMLMediaElementJs implements HTMLVideoElement native "*HTMLVideoElement" {
|
|
|
| - int get height() native "return this.height;";
|
| + int height;
|
|
|
| - void set height(int value) native "this.height = value;";
|
| + String poster;
|
|
|
| - String get poster() native "return this.poster;";
|
| + final int videoHeight;
|
|
|
| - void set poster(String value) native "this.poster = value;";
|
| + final int videoWidth;
|
|
|
| - int get videoHeight() native "return this.videoHeight;";
|
| + final int webkitDecodedFrameCount;
|
|
|
| - int get videoWidth() native "return this.videoWidth;";
|
| + final bool webkitDisplayingFullscreen;
|
|
|
| - int get webkitDecodedFrameCount() native "return this.webkitDecodedFrameCount;";
|
| + final int webkitDroppedFrameCount;
|
|
|
| - bool get webkitDisplayingFullscreen() native "return this.webkitDisplayingFullscreen;";
|
| + final bool webkitSupportsFullscreen;
|
|
|
| - int get webkitDroppedFrameCount() native "return this.webkitDroppedFrameCount;";
|
| -
|
| - bool get webkitSupportsFullscreen() native "return this.webkitSupportsFullscreen;";
|
| -
|
| - int get width() native "return this.width;";
|
| -
|
| - void set width(int value) native "this.width = value;";
|
| + int width;
|
|
|
| void webkitEnterFullScreen() native;
|
|
|
|
|