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