| OLD | NEW |
| 1 | 1 |
| 2 class HTMLVideoElementJs extends HTMLMediaElementJs implements HTMLVideoElement
native "*HTMLVideoElement" { | 2 class _HTMLVideoElementJs extends _HTMLMediaElementJs implements HTMLVideoElemen
t native "*HTMLVideoElement" { |
| 3 | 3 |
| 4 int get height() native "return this.height;"; | 4 int get height() native "return this.height;"; |
| 5 | 5 |
| 6 void set height(int value) native "this.height = value;"; | 6 void set height(int value) native "this.height = value;"; |
| 7 | 7 |
| 8 String get poster() native "return this.poster;"; | 8 String get poster() native "return this.poster;"; |
| 9 | 9 |
| 10 void set poster(String value) native "this.poster = value;"; | 10 void set poster(String value) native "this.poster = value;"; |
| 11 | 11 |
| 12 int get videoHeight() native "return this.videoHeight;"; | 12 int get videoHeight() native "return this.videoHeight;"; |
| (...skipping 13 matching lines...) Expand all Loading... |
| 26 void set width(int value) native "this.width = value;"; | 26 void set width(int value) native "this.width = value;"; |
| 27 | 27 |
| 28 void webkitEnterFullScreen() native; | 28 void webkitEnterFullScreen() native; |
| 29 | 29 |
| 30 void webkitEnterFullscreen() native; | 30 void webkitEnterFullscreen() native; |
| 31 | 31 |
| 32 void webkitExitFullScreen() native; | 32 void webkitExitFullScreen() native; |
| 33 | 33 |
| 34 void webkitExitFullscreen() native; | 34 void webkitExitFullscreen() native; |
| 35 } | 35 } |
| OLD | NEW |