HTMLPreElement.pre constructor

HTMLPreElement.pre()

Creates an HTMLPreElement using the tag 'pre'.

Implementation

HTMLPreElement.pre() : _ = document.createElement('pre');