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