HTMLPreElement.listing constructor

HTMLPreElement.listing()

Creates an HTMLPreElement using the tag 'listing'.

Implementation

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