Graphics.UI.Gtk.WebKit.DOM.HTMLVideoElement
htmlVideoElementWebkitEnterFullscreen
htmlVideoElementWebkitExitFullscreen
htmlVideoElementWebkitEnterFullScreen
htmlVideoElementWebkitExitFullScreen
htmlVideoElementSetWidth
htmlVideoElementGetWidth
htmlVideoElementSetHeight
htmlVideoElementGetHeight
htmlVideoElementGetVideoWidth
htmlVideoElementGetVideoHeight
htmlVideoElementSetPoster
htmlVideoElementGetPoster
htmlVideoElementGetWebkitSupportsFullscreen
htmlVideoElementGetWebkitDisplayingFullscreen
htmlVideoElementGetWebkitDecodedFrameCount
htmlVideoElementGetWebkitDroppedFrameCount