WebKit.DOM.HTMLPreElement.wrap – webkit2gtk-web-extension-5.0 Reference Manual
Packages
webkit2gtk-web-extension-5.0
WebKit
DOM
HTMLPreElement
width
wrap
HTMLPreElement
get_width
get_wrap
set_width
set_wrap
wrap
Description:
public
bool
wrap
{
get
;
set
; }