| OLD | NEW |
| 1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 part of html; | 5 part of html; |
| 6 | 6 |
| 7 Future<CSSStyleDeclaration> _emptyStyleFuture() { | 7 Future<CSSStyleDeclaration> _emptyStyleFuture() { |
| 8 return _createMeasurementFuture(() => new Element.tag('div').style, | 8 return _createMeasurementFuture(() => new Element.tag('div').style, |
| 9 new Completer<CSSStyleDeclaration>()); | 9 new Completer<CSSStyleDeclaration>()); |
| 10 } | 10 } |
| (...skipping 85 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 96 } | 96 } |
| 97 | 97 |
| 98 void insertAdjacentHTML(String where, String text) { | 98 void insertAdjacentHTML(String where, String text) { |
| 99 this._insertAdjacentNode(where, new DocumentFragment.html(text)); | 99 this._insertAdjacentNode(where, new DocumentFragment.html(text)); |
| 100 } | 100 } |
| 101 | 101 |
| 102 void addText(String text) { | 102 void addText(String text) { |
| 103 this.insertAdjacentText('beforeend', text); | 103 this.insertAdjacentText('beforeend', text); |
| 104 } | 104 } |
| 105 | 105 |
| 106 void addHTML(String text) { | 106 void addHtml(String text) { |
| 107 this.insertAdjacentHTML('beforeend', text); | 107 this.insertAdjacentHTML('beforeend', text); |
| 108 } | 108 } |
| 109 | 109 |
| 110 // If we can come up with a semi-reasonable default value for an Element | 110 // If we can come up with a semi-reasonable default value for an Element |
| 111 // getter, we'll use it. In general, these return the same values as an | 111 // getter, we'll use it. In general, these return the same values as an |
| 112 // element that has no parent. | 112 // element that has no parent. |
| 113 String get contentEditable => "false"; | 113 String get contentEditable => "false"; |
| 114 bool get isContentEditable => false; | 114 bool get isContentEditable => false; |
| 115 bool get draggable => false; | 115 bool get draggable => false; |
| 116 bool get hidden => false; | 116 bool get hidden => false; |
| (...skipping 129 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 246 "WebKit drop zone can't be set for document fragments."); | 246 "WebKit drop zone can't be set for document fragments."); |
| 247 } | 247 } |
| 248 | 248 |
| 249 void set webkitRegionOverflow(String value) { | 249 void set webkitRegionOverflow(String value) { |
| 250 throw new UnsupportedError( | 250 throw new UnsupportedError( |
| 251 "WebKit region overflow can't be set for document fragments."); | 251 "WebKit region overflow can't be set for document fragments."); |
| 252 } | 252 } |
| 253 | 253 |
| 254 $!MEMBERS | 254 $!MEMBERS |
| 255 } | 255 } |
| OLD | NEW |