Index: client/html/generated/html/dartium/VideoElement.dart |
diff --git a/client/html/generated/html/dartium/VideoElement.dart b/client/html/generated/html/dartium/VideoElement.dart |
deleted file mode 100644 |
index 9c1659795a2a3ecf9209c2ed9d6fdb4bf2098623..0000000000000000000000000000000000000000 |
--- a/client/html/generated/html/dartium/VideoElement.dart |
+++ /dev/null |
@@ -1,48 +0,0 @@ |
- |
-class _VideoElementImpl extends _MediaElementImpl implements VideoElement { |
- _VideoElementImpl._wrap(ptr) : super._wrap(ptr); |
- |
- int get height() => _wrap(_ptr.height); |
- |
- void set height(int value) { _ptr.height = _unwrap(value); } |
- |
- String get poster() => _wrap(_ptr.poster); |
- |
- void set poster(String value) { _ptr.poster = _unwrap(value); } |
- |
- int get videoHeight() => _wrap(_ptr.videoHeight); |
- |
- int get videoWidth() => _wrap(_ptr.videoWidth); |
- |
- int get webkitDecodedFrameCount() => _wrap(_ptr.webkitDecodedFrameCount); |
- |
- bool get webkitDisplayingFullscreen() => _wrap(_ptr.webkitDisplayingFullscreen); |
- |
- int get webkitDroppedFrameCount() => _wrap(_ptr.webkitDroppedFrameCount); |
- |
- bool get webkitSupportsFullscreen() => _wrap(_ptr.webkitSupportsFullscreen); |
- |
- int get width() => _wrap(_ptr.width); |
- |
- void set width(int value) { _ptr.width = _unwrap(value); } |
- |
- void webkitEnterFullScreen() { |
- _ptr.webkitEnterFullScreen(); |
- return; |
- } |
- |
- void webkitEnterFullscreen() { |
- _ptr.webkitEnterFullscreen(); |
- return; |
- } |
- |
- void webkitExitFullScreen() { |
- _ptr.webkitExitFullScreen(); |
- return; |
- } |
- |
- void webkitExitFullscreen() { |
- _ptr.webkitExitFullscreen(); |
- return; |
- } |
-} |