| Index: sdk/lib/html/dart2js/html_dart2js.dart
|
| diff --git a/sdk/lib/html/dart2js/html_dart2js.dart b/sdk/lib/html/dart2js/html_dart2js.dart
|
| index 5bbc28b7b4868df6813dddab321a72629d28b600..7fea5095421da207eb292059fd8008e0c7c348e2 100644
|
| --- a/sdk/lib/html/dart2js/html_dart2js.dart
|
| +++ b/sdk/lib/html/dart2js/html_dart2js.dart
|
| @@ -5616,7 +5616,8 @@ class Document extends Node native "*Document"
|
| final String $dom_lastModified;
|
|
|
| /// @domName Document.preferredStylesheetSet; @docsEditable true
|
| - final String preferredStylesheetSet;
|
| + @JSName('preferredStylesheetSet')
|
| + final String $dom_preferredStylesheetSet;
|
|
|
| /// @domName Document.readyState; @docsEditable true
|
| final String readyState;
|
| @@ -5626,7 +5627,8 @@ class Document extends Node native "*Document"
|
| final String $dom_referrer;
|
|
|
| /// @domName Document.selectedStylesheetSet; @docsEditable true
|
| - String selectedStylesheetSet;
|
| + @JSName('selectedStylesheetSet')
|
| + String $dom_selectedStylesheetSet;
|
|
|
| /// @domName Document.styleSheets; @docsEditable true
|
| @JSName('styleSheets')
|
| @@ -5685,19 +5687,20 @@ class Document extends Node native "*Document"
|
| Event $dom_createEvent(String eventType) native;
|
|
|
| /// @domName Document.createRange; @docsEditable true
|
| - Range createRange() native;
|
| + @JSName('createRange')
|
| + Range $dom_createRange() native;
|
|
|
| /// @domName Document.createTextNode; @docsEditable true
|
| @JSName('createTextNode')
|
| Text $dom_createTextNode(String data) native;
|
|
|
| /// @domName Document.createTouch; @docsEditable true
|
| - Touch createTouch(LocalWindow window, EventTarget target, int identifier, int pageX, int pageY, int screenX, int screenY, int webkitRadiusX, int webkitRadiusY, num webkitRotationAngle, num webkitForce) {
|
| + Touch $dom_createTouch(LocalWindow window, EventTarget target, int identifier, int pageX, int pageY, int screenX, int screenY, int webkitRadiusX, int webkitRadiusY, num webkitRotationAngle, num webkitForce) {
|
| var target_1 = _convertDartToNative_EventTarget(target);
|
| - return _createTouch_1(window, target_1, identifier, pageX, pageY, screenX, screenY, webkitRadiusX, webkitRadiusY, webkitRotationAngle, webkitForce);
|
| + return _$dom_createTouch_1(window, target_1, identifier, pageX, pageY, screenX, screenY, webkitRadiusX, webkitRadiusY, webkitRotationAngle, webkitForce);
|
| }
|
| @JSName('createTouch')
|
| - Touch _createTouch_1(LocalWindow window, target, identifier, pageX, pageY, screenX, screenY, webkitRadiusX, webkitRadiusY, webkitRotationAngle, webkitForce) native;
|
| + Touch _$dom_createTouch_1(LocalWindow window, target, identifier, pageX, pageY, screenX, screenY, webkitRadiusX, webkitRadiusY, webkitRotationAngle, webkitForce) native;
|
|
|
| /// @domName Document.createTouchList; @docsEditable true
|
| @JSName('createTouchList')
|
| @@ -5712,7 +5715,7 @@ class Document extends Node native "*Document"
|
|
|
| /// @domName Document.getCSSCanvasContext; @docsEditable true
|
| @JSName('getCSSCanvasContext')
|
| - CanvasRenderingContext getCssCanvasContext(String contextId, String name, int width, int height) native;
|
| + CanvasRenderingContext $dom_getCssCanvasContext(String contextId, String name, int width, int height) native;
|
|
|
| /// @domName Document.getElementById; @docsEditable true
|
| @JSName('getElementById')
|
| @@ -9557,15 +9560,30 @@ class HtmlDocument extends Document native "*HTMLDocument" {
|
| return document.$dom_elementFromPoint(x, y);
|
| }
|
|
|
| + /** @domName Document.getCSSCanvasContext */
|
| + CanvasRenderingContext getCssCanvasContext(String contextId, String name,
|
| + int width, int height) {
|
| + return document.$dom_getCssCanvasContext(contextId, name, width, height);
|
| + }
|
| +
|
| /** @domName Document.head */
|
| HeadElement get head => document.$dom_head;
|
|
|
| /** @domName Document.lastModified */
|
| String get lastModified => document.$dom_lastModified;
|
|
|
| + /** @domName Document.preferredStylesheetSet */
|
| + String get preferredStylesheetSet => document.$dom_preferredStylesheetSet;
|
| +
|
| /** @domName Document.referrer */
|
| String get referrer => document.$dom_referrer;
|
|
|
| + /** @domName Document.selectedStylesheetSet */
|
| + String get selectedStylesheetSet => document.$dom_selectedStylesheetSet;
|
| + void set selectedStylesheetSet(String value) {
|
| + document.$dom_selectedStylesheetSet = value;
|
| + }
|
| +
|
| /** @domName Document.styleSheets */
|
| List<StyleSheet> get styleSheets => document.$dom_styleSheets;
|
|
|
| @@ -14330,9 +14348,13 @@ class RadioNodeList extends NodeList native "*RadioNodeList" {
|
| // for details. All rights reserved. Use of this source code is governed by a
|
| // BSD-style license that can be found in the LICENSE file.
|
|
|
| +// WARNING: Do not edit - generated code.
|
| +
|
|
|
| -/// @domName Range; @docsEditable true
|
| +/// @domName Range
|
| class Range native "*Range" {
|
| + factory Range() => document.$dom_createRange();
|
| +
|
|
|
| static const int END_TO_END = 2;
|
|
|
| @@ -14443,6 +14465,7 @@ class Range native "*Range" {
|
|
|
| /// @domName Range.toString; @docsEditable true
|
| String toString() native;
|
| +
|
| }
|
| // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file
|
| // for details. All rights reserved. Use of this source code is governed by a
|
|
|