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 |