Graphics.UI.Gtk.WebKit.DOM.HTMLVideoElement
webkitEnterFullscreen
webkitExitFullscreen
webkitEnterFullScreen
webkitExitFullScreen
setWidth
getWidth
setHeight
getHeight
getVideoWidth
getVideoHeight
setPoster
getPoster
getWebkitSupportsFullscreen
getWebkitDisplayingFullscreen
setWebkitWirelessVideoPlaybackDisabled
getWebkitWirelessVideoPlaybackDisabled
getWebkitDecodedFrameCount
getWebkitDroppedFrameCount
webKitPresentationModeChanged
data HTMLVideoElement
castToHTMLVideoElement
gTypeHTMLVideoElement
class HTMLVideoElementClass o
toHTMLVideoElement