*/
interface HTMLPreElement : HTMLElement {
- // FIXME: DOM spec says that width should be of type DOMString
- // see http://bugs.webkit.org/show_bug.cgi?id=8992
[Reflect] attribute long width;
// Extensions
- [Reflect] attribute boolean wrap;
+ [Reflect, MeasureAs=HTMLPreElementWrap] attribute boolean wrap;
};
-