| Index: client/html/generated/html/interface/Document.dart
|
| diff --git a/client/html/generated/html/interface/Document.dart b/client/html/generated/html/interface/Document.dart
|
| index 37941e0dae2151bc998ff5b75963dcbddb74dbb0..7f998f008c6580a3c22f2c6188fe7d8705db3c7e 100644
|
| --- a/client/html/generated/html/interface/Document.dart
|
| +++ b/client/html/generated/html/interface/Document.dart
|
| @@ -51,18 +51,10 @@ interface Document extends HtmlElement {
|
|
|
| DocumentFragment createDocumentFragment();
|
|
|
| - Element _createElement(String tagName);
|
| -
|
| - Event _createEvent(String eventType);
|
| -
|
| Range createRange();
|
|
|
| - Text _createTextNode(String data);
|
| -
|
| Touch createTouch(Window window, EventTarget target, int identifier, int pageX, int pageY, int screenX, int screenY, int webkitRadiusX, int webkitRadiusY, num webkitRotationAngle, num webkitForce);
|
|
|
| - TouchList _createTouchList();
|
| -
|
| Element elementFromPoint(int x, int y);
|
|
|
| bool execCommand(String command, bool userInterface, String value);
|
|
|