int width

Source 

@DomName('HTMLVideoElement.width')
@DocsEditable()
int get width => _blink.BlinkHTMLVideoElement.instance.width_Getter_(this);
void width=(int value)

Source 

@DomName('HTMLVideoElement.width')
@DocsEditable()
set width(int value) =>
    _blink.BlinkHTMLVideoElement.instance.width_Setter_(this, value);