| Index: client/html/generated/html/frog/VideoElement.dart
|
| diff --git a/client/html/generated/html/frog/VideoElement.dart b/client/html/generated/html/frog/VideoElement.dart
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..c874304d349c31593a8801201438b256c46af06c
|
| --- /dev/null
|
| +++ b/client/html/generated/html/frog/VideoElement.dart
|
| @@ -0,0 +1,29 @@
|
| +
|
| +class _VideoElementImpl extends _MediaElementImpl implements VideoElement native "*HTMLVideoElement" {
|
| +
|
| + int height;
|
| +
|
| + String poster;
|
| +
|
| + final int videoHeight;
|
| +
|
| + final int videoWidth;
|
| +
|
| + final int webkitDecodedFrameCount;
|
| +
|
| + final bool webkitDisplayingFullscreen;
|
| +
|
| + final int webkitDroppedFrameCount;
|
| +
|
| + final bool webkitSupportsFullscreen;
|
| +
|
| + int width;
|
| +
|
| + void webkitEnterFullScreen() native;
|
| +
|
| + void webkitEnterFullscreen() native;
|
| +
|
| + void webkitExitFullScreen() native;
|
| +
|
| + void webkitExitFullscreen() native;
|
| +}
|
|
|