| Index: sdk/lib/html/dartium/html_dartium.dart
|
| diff --git a/sdk/lib/html/dartium/html_dartium.dart b/sdk/lib/html/dartium/html_dartium.dart
|
| index 596fbf828dd754012b1025b403bd2d08f9e4322e..600448e1878c6b9ff426dfd7013a014f25c7bc46 100644
|
| --- a/sdk/lib/html/dartium/html_dartium.dart
|
| +++ b/sdk/lib/html/dartium/html_dartium.dart
|
| @@ -13554,12 +13554,7 @@ class HtmlDocument extends Document {
|
| Element get activeElement native "HTMLDocument_activeElement_Getter";
|
|
|
| @DomName('Document.body')
|
| - BodyElement get body => document.$dom_body;
|
| -
|
| - @DomName('Document.body')
|
| - void set body(BodyElement value) {
|
| - document.$dom_body = value;
|
| - }
|
| + BodyElement body;
|
|
|
| @DomName('Document.caretRangeFromPoint')
|
| Range caretRangeFromPoint(int x, int y) {
|
|
|