Index: client/dom/generated/src/interface/HTMLVideoElement.dart |
diff --git a/client/dom/generated/src/interface/HTMLVideoElement.dart b/client/dom/generated/src/interface/HTMLVideoElement.dart |
index 029ce51e18412ac7d42f8b6aa0183505ad01fc76..9778433f50b649e1a9ea38323f06f05c3bc1e335 100644 |
--- a/client/dom/generated/src/interface/HTMLVideoElement.dart |
+++ b/client/dom/generated/src/interface/HTMLVideoElement.dart |
@@ -6,29 +6,23 @@ |
interface HTMLVideoElement extends HTMLMediaElement { |
- int get height(); |
+ int height; |
- void set height(int value); |
+ String poster; |
- String get poster(); |
+ final int videoHeight; |
- void set poster(String value); |
+ final int videoWidth; |
- int get videoHeight(); |
+ final int webkitDecodedFrameCount; |
- int get videoWidth(); |
+ final bool webkitDisplayingFullscreen; |
- int get webkitDecodedFrameCount(); |
+ final int webkitDroppedFrameCount; |
- bool get webkitDisplayingFullscreen(); |
+ final bool webkitSupportsFullscreen; |
- int get webkitDroppedFrameCount(); |
- |
- bool get webkitSupportsFullscreen(); |
- |
- int get width(); |
- |
- void set width(int value); |
+ int width; |
void webkitEnterFullScreen(); |