Packages
webkit2gtk-web-extension-4.1
WebKit
DOM
HTMLEmbedElement
align
height
name
src
type
width
HTMLEmbedElement
get_align
get_height
get_name
get_src
get_type_attr
get_width
set_align
set_height
set_name
set_src
set_type_attr
set_width
height
Description:
public
long
height
{
get
;
set
; }