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
protocol
Description:
public
string
protocol
{
owned
get
;
set
; }