OLD | NEW |
1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 // WARNING: Do not edit - generated code. | 5 // WARNING: Do not edit - generated code. |
6 | 6 |
7 interface HTMLVideoElement extends HTMLMediaElement { | 7 interface HTMLVideoElement extends HTMLMediaElement { |
8 | 8 |
9 int get height(); | 9 int height; |
10 | 10 |
11 void set height(int value); | 11 String poster; |
12 | 12 |
13 String get poster(); | 13 final int videoHeight; |
14 | 14 |
15 void set poster(String value); | 15 final int videoWidth; |
16 | 16 |
17 int get videoHeight(); | 17 final int webkitDecodedFrameCount; |
18 | 18 |
19 int get videoWidth(); | 19 final bool webkitDisplayingFullscreen; |
20 | 20 |
21 int get webkitDecodedFrameCount(); | 21 final int webkitDroppedFrameCount; |
22 | 22 |
23 bool get webkitDisplayingFullscreen(); | 23 final bool webkitSupportsFullscreen; |
24 | 24 |
25 int get webkitDroppedFrameCount(); | 25 int width; |
26 | |
27 bool get webkitSupportsFullscreen(); | |
28 | |
29 int get width(); | |
30 | |
31 void set width(int value); | |
32 | 26 |
33 void webkitEnterFullScreen(); | 27 void webkitEnterFullScreen(); |
34 | 28 |
35 void webkitEnterFullscreen(); | 29 void webkitEnterFullscreen(); |
36 | 30 |
37 void webkitExitFullScreen(); | 31 void webkitExitFullScreen(); |
38 | 32 |
39 void webkitExitFullscreen(); | 33 void webkitExitFullscreen(); |
40 } | 34 } |
OLD | NEW |