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