Graphics.UI.Gtk.WebKit.DOM.HTMLVideoElement

htmlVideoElementWebkitEnterFullscreen

htmlVideoElementWebkitExitFullscreen

htmlVideoElementWebkitEnterFullScreen

htmlVideoElementWebkitExitFullScreen

htmlVideoElementSetWidth

htmlVideoElementGetWidth

htmlVideoElementSetHeight

htmlVideoElementGetHeight

htmlVideoElementGetVideoWidth

htmlVideoElementGetVideoHeight

htmlVideoElementSetPoster

htmlVideoElementGetPoster

htmlVideoElementGetWebkitSupportsFullscreen

htmlVideoElementGetWebkitDisplayingFullscreen

htmlVideoElementGetWebkitDecodedFrameCount

htmlVideoElementGetWebkitDroppedFrameCount