OLD | NEW |
(Empty) | |
| 1 |
| 2 class _VideoElementImpl extends _MediaElementImpl implements VideoElement { |
| 3 _VideoElementImpl._wrap(ptr) : super._wrap(ptr); |
| 4 |
| 5 int get height() => _wrap(_ptr.height); |
| 6 |
| 7 void set height(int value) { _ptr.height = _unwrap(value); } |
| 8 |
| 9 String get poster() => _wrap(_ptr.poster); |
| 10 |
| 11 void set poster(String value) { _ptr.poster = _unwrap(value); } |
| 12 |
| 13 int get videoHeight() => _wrap(_ptr.videoHeight); |
| 14 |
| 15 int get videoWidth() => _wrap(_ptr.videoWidth); |
| 16 |
| 17 int get webkitDecodedFrameCount() => _wrap(_ptr.webkitDecodedFrameCount); |
| 18 |
| 19 bool get webkitDisplayingFullscreen() => _wrap(_ptr.webkitDisplayingFullscreen
); |
| 20 |
| 21 int get webkitDroppedFrameCount() => _wrap(_ptr.webkitDroppedFrameCount); |
| 22 |
| 23 bool get webkitSupportsFullscreen() => _wrap(_ptr.webkitSupportsFullscreen); |
| 24 |
| 25 int get width() => _wrap(_ptr.width); |
| 26 |
| 27 void set width(int value) { _ptr.width = _unwrap(value); } |
| 28 |
| 29 void webkitEnterFullScreen() { |
| 30 _ptr.webkitEnterFullScreen(); |
| 31 return; |
| 32 } |
| 33 |
| 34 void webkitEnterFullscreen() { |
| 35 _ptr.webkitEnterFullscreen(); |
| 36 return; |
| 37 } |
| 38 |
| 39 void webkitExitFullScreen() { |
| 40 _ptr.webkitExitFullScreen(); |
| 41 return; |
| 42 } |
| 43 |
| 44 void webkitExitFullscreen() { |
| 45 _ptr.webkitExitFullscreen(); |
| 46 return; |
| 47 } |
| 48 } |
OLD | NEW |