[−][src]Constant webkit2gtk_webextension::NONE_DOMHTML_FRAME_SET_ELEMENT
pub const NONE_DOMHTML_FRAME_SET_ELEMENT: Option<&DOMHTMLFrameSetElement>;
pub const NONE_DOMHTML_FRAME_SET_ELEMENT: Option<&DOMHTMLFrameSetElement>;