Packages
webkit2gtk-web-extension-4.1
WebKit
DOM
HTMLAreaElement
alt
coords
hash
host
hostname
href
no_href
pathname
port
protocol
search
shape
target
HTMLAreaElement
get_alt
get_coords
get_hash
get_host
get_hostname
get_href
get_no_href
get_pathname
get_port
get_protocol
get_search
get_shape
get_target
set_alt
set_coords
set_hash
set_host
set_hostname
set_href
set_no_href
set_pathname
set_port
set_protocol
set_search
set_shape
set_target
set_no_href
Description:
[
Version
( deprecated =
true
, deprecated_since =
"2.22"
) ]
public
void
set_no_href
(
bool
value)
Warning:
set_no_href is deprecated since 2.22.
Parameters:
this
A
HTMLAreaElement
value
A
bool