| 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 |