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