OLD | NEW |
1 library html; | 1 library html; |
2 | 2 |
3 import 'dart:collection'; | 3 import 'dart:collection'; |
4 import 'dart:html_common'; | 4 import 'dart:html_common'; |
5 import 'dart:indexed_db'; | 5 import 'dart:indexed_db'; |
6 import 'dart:isolate'; | 6 import 'dart:isolate'; |
7 import 'dart:json'; | 7 import 'dart:json'; |
8 import 'dart:nativewrappers'; | 8 import 'dart:nativewrappers'; |
9 import 'dart:svg' as svg; | 9 import 'dart:svg' as svg; |
10 import 'dart:web_audio' as web_audio; | 10 import 'dart:web_audio' as web_audio; |
(...skipping 8770 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
8781 Map<String, String> attributes = this.attributes; | 8781 Map<String, String> attributes = this.attributes; |
8782 attributes.clear(); | 8782 attributes.clear(); |
8783 for (String key in value.keys) { | 8783 for (String key in value.keys) { |
8784 attributes[key] = value[key]; | 8784 attributes[key] = value[key]; |
8785 } | 8785 } |
8786 } | 8786 } |
8787 | 8787 |
8788 /** | 8788 /** |
8789 * Deprecated, use innerHtml instead. | 8789 * Deprecated, use innerHtml instead. |
8790 */ | 8790 */ |
| 8791 @deprecated |
8791 String get innerHTML => this.innerHtml; | 8792 String get innerHTML => this.innerHtml; |
| 8793 @deprecated |
8792 void set innerHTML(String value) { | 8794 void set innerHTML(String value) { |
8793 this.innerHtml = value; | 8795 this.innerHtml = value; |
8794 } | 8796 } |
8795 | 8797 |
| 8798 @deprecated |
8796 void set elements(Collection<Element> value) { | 8799 void set elements(Collection<Element> value) { |
8797 this.children = value; | 8800 this.children = value; |
8798 } | 8801 } |
8799 | 8802 |
8800 /** | 8803 /** |
8801 * Deprecated, use [children] instead. | 8804 * Deprecated, use [children] instead. |
8802 */ | 8805 */ |
| 8806 @deprecated |
8803 List<Element> get elements => this.children; | 8807 List<Element> get elements => this.children; |
8804 | 8808 |
8805 /** | 8809 /** |
8806 * @domName childElementCount, firstElementChild, lastElementChild, | 8810 * @domName childElementCount, firstElementChild, lastElementChild, |
8807 * children, Node.nodes.add | 8811 * children, Node.nodes.add |
8808 */ | 8812 */ |
8809 List<Element> get children => new _ChildrenElementList._wrap(this); | 8813 List<Element> get children => new _ChildrenElementList._wrap(this); |
8810 | 8814 |
8811 void set children(List<Element> value) { | 8815 void set children(List<Element> value) { |
8812 // Copy list first since we don't want liveness during iteration. | 8816 // Copy list first since we don't want liveness during iteration. |
(...skipping 20919 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
29732 bool get isEmpty => Maps.isEmpty(this); | 29736 bool get isEmpty => Maps.isEmpty(this); |
29733 } | 29737 } |
29734 | 29738 |
29735 get _printClosure => (s) { | 29739 get _printClosure => (s) { |
29736 try { | 29740 try { |
29737 window.console.log(s); | 29741 window.console.log(s); |
29738 } catch (_) { | 29742 } catch (_) { |
29739 _Utils.print(s); | 29743 _Utils.print(s); |
29740 } | 29744 } |
29741 }; | 29745 }; |
OLD | NEW |