Packages
webkit2gtk-web-extension-4.1
WebKit
DOM
MediaList
length
media_text
MediaList
append_medium
delete_medium
get_length
get_media_text
item
set_media_text
delete_medium
Description:
[
Version
( deprecated =
true
, deprecated_since =
"2.22"
) ]
public
void
delete_medium
(
string
oldMedium)
throws
Error
Warning:
delete_medium is deprecated since 2.22.
Parameters:
this
A
MediaList
oldMedium
A
char