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) |