Index: client/html/generated/src/interface/VideoElement.dart |
diff --git a/client/html/generated/src/interface/VideoElement.dart b/client/html/generated/src/interface/VideoElement.dart |
deleted file mode 100644 |
index 40aff74a7c2de1e92b7b60d408226ebd0c5e861f..0000000000000000000000000000000000000000 |
--- a/client/html/generated/src/interface/VideoElement.dart |
+++ /dev/null |
@@ -1,40 +0,0 @@ |
-// Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
-// for details. All rights reserved. Use of this source code is governed by a |
-// BSD-style license that can be found in the LICENSE file. |
- |
-// WARNING: Do not edit - generated code. |
- |
-interface VideoElement extends MediaElement { |
- |
- int get height(); |
- |
- void set height(int value); |
- |
- String get poster(); |
- |
- void set poster(String value); |
- |
- int get videoHeight(); |
- |
- int get videoWidth(); |
- |
- int get webkitDecodedFrameCount(); |
- |
- bool get webkitDisplayingFullscreen(); |
- |
- int get webkitDroppedFrameCount(); |
- |
- bool get webkitSupportsFullscreen(); |
- |
- int get width(); |
- |
- void set width(int value); |
- |
- void webkitEnterFullScreen(); |
- |
- void webkitEnterFullscreen(); |
- |
- void webkitExitFullScreen(); |
- |
- void webkitExitFullscreen(); |
-} |