OLD | NEW |
| (Empty) |
1 // Copyright (c) 2012, 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 HTMLVideoElement extends HTMLMediaElement { | |
8 | |
9 int height; | |
10 | |
11 String poster; | |
12 | |
13 final int videoHeight; | |
14 | |
15 final int videoWidth; | |
16 | |
17 final int webkitDecodedFrameCount; | |
18 | |
19 final bool webkitDisplayingFullscreen; | |
20 | |
21 final int webkitDroppedFrameCount; | |
22 | |
23 final bool webkitSupportsFullscreen; | |
24 | |
25 int width; | |
26 | |
27 void webkitEnterFullScreen(); | |
28 | |
29 void webkitEnterFullscreen(); | |
30 | |
31 void webkitExitFullScreen(); | |
32 | |
33 void webkitExitFullscreen(); | |
34 } | |
OLD | NEW |