| Index: lib/dom.dart
|
| diff --git a/lib/dom.dart b/lib/dom.dart
|
| index 76eb85fdd1b9a49d830cbcb15bb209b1c055965a..9e647595788d84da842c7c44b0c645d7af679472 100644
|
| --- a/lib/dom.dart
|
| +++ b/lib/dom.dart
|
| @@ -442,6 +442,12 @@ class Element extends Node with _ParentNode, _ElementAndDocument {
|
| /// of this element.
|
| final String localName;
|
|
|
| + // TODO(jmesserly): consider using an Expando for this, and put it in
|
| + // dom_parsing. Need to check the performance affect.
|
| + /// The source span of the end tag this element, if it was created by the
|
| + /// [HtmlParser]. May be `null` if does not have an implicit end tag.
|
| + FileSpan endSourceSpan;
|
| +
|
| Element._(this.localName, [this.namespaceUri]) : super._();
|
|
|
| Element.tag(this.localName)
|
|
|