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 | |
8792 String get innerHTML => this.innerHtml; | 8791 String get innerHTML => this.innerHtml; |
8793 @deprecated | |
8794 void set innerHTML(String value) { | 8792 void set innerHTML(String value) { |
8795 this.innerHtml = value; | 8793 this.innerHtml = value; |
8796 } | 8794 } |
8797 | 8795 |
8798 @deprecated | |
8799 void set elements(Collection<Element> value) { | 8796 void set elements(Collection<Element> value) { |
8800 this.children = value; | 8797 this.children = value; |
8801 } | 8798 } |
8802 | 8799 |
8803 /** | 8800 /** |
8804 * Deprecated, use [children] instead. | 8801 * Deprecated, use [children] instead. |
8805 */ | 8802 */ |
8806 @deprecated | |
8807 List<Element> get elements => this.children; | 8803 List<Element> get elements => this.children; |
8808 | 8804 |
8809 /** | 8805 /** |
8810 * @domName childElementCount, firstElementChild, lastElementChild, | 8806 * @domName childElementCount, firstElementChild, lastElementChild, |
8811 * children, Node.nodes.add | 8807 * children, Node.nodes.add |
8812 */ | 8808 */ |
8813 List<Element> get children => new _ChildrenElementList._wrap(this); | 8809 List<Element> get children => new _ChildrenElementList._wrap(this); |
8814 | 8810 |
8815 void set children(List<Element> value) { | 8811 void set children(List<Element> value) { |
8816 // Copy list first since we don't want liveness during iteration. | 8812 // Copy list first since we don't want liveness during iteration. |
(...skipping 20921 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
29738 bool get isEmpty => Maps.isEmpty(this); | 29734 bool get isEmpty => Maps.isEmpty(this); |
29739 } | 29735 } |
29740 | 29736 |
29741 get _printClosure => (s) { | 29737 get _printClosure => (s) { |
29742 try { | 29738 try { |
29743 window.console.log(s); | 29739 window.console.log(s); |
29744 } catch (_) { | 29740 } catch (_) { |
29745 _Utils.print(s); | 29741 _Utils.print(s); |
29746 } | 29742 } |
29747 }; | 29743 }; |
OLD | NEW |