| OLD | NEW |
| 1 | 1 |
| 2 class _HTMLVideoElementJs extends _HTMLMediaElementJs implements HTMLVideoElemen
t native "*HTMLVideoElement" { | 2 class _HTMLVideoElementJs extends _HTMLMediaElementJs implements HTMLVideoElemen
t native "*HTMLVideoElement" { |
| 3 | 3 |
| 4 int get height() native "return this.height;"; | 4 int height; |
| 5 | 5 |
| 6 void set height(int value) native "this.height = value;"; | 6 String poster; |
| 7 | 7 |
| 8 String get poster() native "return this.poster;"; | 8 final int videoHeight; |
| 9 | 9 |
| 10 void set poster(String value) native "this.poster = value;"; | 10 final int videoWidth; |
| 11 | 11 |
| 12 int get videoHeight() native "return this.videoHeight;"; | 12 final int webkitDecodedFrameCount; |
| 13 | 13 |
| 14 int get videoWidth() native "return this.videoWidth;"; | 14 final bool webkitDisplayingFullscreen; |
| 15 | 15 |
| 16 int get webkitDecodedFrameCount() native "return this.webkitDecodedFrameCount;
"; | 16 final int webkitDroppedFrameCount; |
| 17 | 17 |
| 18 bool get webkitDisplayingFullscreen() native "return this.webkitDisplayingFull
screen;"; | 18 final bool webkitSupportsFullscreen; |
| 19 | 19 |
| 20 int get webkitDroppedFrameCount() native "return this.webkitDroppedFrameCount;
"; | 20 int width; |
| 21 | |
| 22 bool get webkitSupportsFullscreen() native "return this.webkitSupportsFullscre
en;"; | |
| 23 | |
| 24 int get width() native "return this.width;"; | |
| 25 | |
| 26 void set width(int value) native "this.width = value;"; | |
| 27 | 21 |
| 28 void webkitEnterFullScreen() native; | 22 void webkitEnterFullScreen() native; |
| 29 | 23 |
| 30 void webkitEnterFullscreen() native; | 24 void webkitEnterFullscreen() native; |
| 31 | 25 |
| 32 void webkitExitFullScreen() native; | 26 void webkitExitFullScreen() native; |
| 33 | 27 |
| 34 void webkitExitFullscreen() native; | 28 void webkitExitFullscreen() native; |
| 35 } | 29 } |
| OLD | NEW |