Packages
webkit2gtk-web-extension-4.1
WebKit
DOM
HTMLHeadElement
profile
HTMLHeadElement
get_profile
set_profile
profile
Description:
public
string
profile
{
owned
get
;
set
; }