Graphics.UI.Gtk.WebKit.DOM.HTMLMediaElement
load
play
pause
fastSeek
addTextTrack
webkitShowPlaybackTargetPicker
getError
setSrc
getSrc
getCurrentSrc
getNetworkState
setPreload
getPreload
getBuffered
getReadyState
getSeeking
setCurrentTime
getCurrentTime
getDuration
getPaused
setDefaultPlaybackRate
getDefaultPlaybackRate
setPlaybackRate
getPlaybackRate
getPlayed
getSeekable
getEnded
setAutoplay
getAutoplay
setLoop
getLoop
setControls
getControls
setVolume
getVolume
setMuted
getMuted
setDefaultMuted
getDefaultMuted
emptied
loadedMetadata
loadedData
canPlay
canPlayThrough
playing
ended
waiting
durationChange
timeUpdate
playEvent
pauseEvent
rateChange
volumeChange
setWebkitPreservesPitch
getWebkitPreservesPitch
getWebkitHasClosedCaptions
setWebkitClosedCaptionsVisible
getWebkitClosedCaptionsVisible
getWebkitAudioDecodedByteCount
getWebkitVideoDecodedByteCount
webKitKeyAdded
webKitKeyError
webKitKeyMessage
webKitNeedKey
getAudioTracks
getTextTracks
getVideoTracks
setMediaGroup
getMediaGroup
getWebkitCurrentPlaybackTargetIsWireless
webKitCurrentPlaybackTargetIsWirelessChanged
webKitPlaybackTargetAvailabilityChanged
data HTMLMediaElement
castToHTMLMediaElement
gTypeHTMLMediaElement
class HTMLMediaElementClass o
toHTMLMediaElement