WebKit.DOM.MediaList – webkit2gtk-web-extension-4.0 Reference Manual

Packages

webkit2gtk-web-extension-4.0

WebKit

DOM

MediaList

MediaList

Object Hierarchy:

Object hierarchy for MediaList

Description:

[ CCode ( type_id = "webkit_dom_media_list_get_type ()" ) ]
[ GIR ( name = "DOMMediaList" ) ]
public class MediaList : Object

Namespace: WebKit.DOM

Package: webkit2gtk-web-extension-4.0

Content:

Properties:

public ulong length { get; }
public string media_text { owned get; set; }

Creation methods:

protected MediaList ()

Methods:

public void append_medium (string newMedium) throws Error
public void delete_medium (string oldMedium) throws Error
public ulong get_length ()
public string get_media_text ()
public string item (ulong index)
public void set_media_text (string value) throws Error

Inherited Members:

All known members inherited from class WebKit.DOM.Object

coreObject

core_object

All known members inherited from class GLib.Object

Generated by valadoc