PropsHTMLPreElement extension

on

Properties

width ↔ int
getter/setter pair