Method
WebKit2WebExtensionDOMHTMLFrameElementget_margin_width
deprecated: 2.22
Declaration [src]
gchar*
webkit_dom_html_frame_element_get_margin_width (
  WebKitDOMHTMLFrameElement* self
)
Description
        No description available.
      
      Deprecated since: 2.22
Use JavaScriptCore API instead.
| Gets property | WebKit2WebExtension.DOMHTMLFrameElement:margin-width |