WebKit.DOM.HTMLHeadElement.profile – webkit2gtk-web-extension-4.0 Reference Manual
Packages
webkit2gtk-web-extension-4.0
WebKit
DOM
HTMLHeadElement
profile
HTMLHeadElement
get_profile
set_profile
profile
Description:
public
string
profile
{
owned
get
;
set
; }