Packages
webkit2gtk-web-extension-4.1
WebKit
DOM
HTMLAnchorElement
charset
coords
hash
host
hostname
href
hreflang
name
pathname
port
protocol
rel
rev
search
shape
target
text
type
HTMLAnchorElement
get_charset
get_coords
get_hash
get_host
get_hostname
get_href
get_hreflang
get_name
get_pathname
get_port
get_protocol
get_rel
get_rev
get_search
get_shape
get_target
get_text
get_type_attr
set_charset
set_coords
set_hash
set_host
set_hostname
set_href
set_hreflang
set_name
set_pathname
set_port
set_protocol
set_rel
set_rev
set_search
set_shape
set_target
set_text
set_type_attr
protocol
Description:
public
string
protocol
{
owned
get
;
set
; }