OLD | NEW |
| (Empty) |
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 | |
3 // BSD-style license that can be found in the LICENSE file. | |
4 | |
5 // WARNING: Do not edit - generated code. | |
6 | |
7 interface VideoElement extends MediaElement { | |
8 | |
9 int get height(); | |
10 | |
11 void set height(int value); | |
12 | |
13 String get poster(); | |
14 | |
15 void set poster(String value); | |
16 | |
17 int get videoHeight(); | |
18 | |
19 int get videoWidth(); | |
20 | |
21 int get webkitDecodedFrameCount(); | |
22 | |
23 bool get webkitDisplayingFullscreen(); | |
24 | |
25 int get webkitDroppedFrameCount(); | |
26 | |
27 bool get webkitSupportsFullscreen(); | |
28 | |
29 int get width(); | |
30 | |
31 void set width(int value); | |
32 | |
33 void webkitEnterFullScreen(); | |
34 | |
35 void webkitEnterFullscreen(); | |
36 | |
37 void webkitExitFullScreen(); | |
38 | |
39 void webkitExitFullscreen(); | |
40 } | |
OLD | NEW |