Property
WebKit2WebExtensionDOMHTMLFrameElement:margin-height
Description
No description available.
          Type:gchar*
| Getter method | webkit_dom_html_frame_element_get_margin_height() | 
| Setter method | webkit_dom_html_frame_element_set_margin_height() |