| Index: client/html/src/Window.dart
|
| diff --git a/client/html/src/Window.dart b/client/html/src/Window.dart
|
| index 48699b80b38a60296928ab1971fae4daae47ee3e..b947227d17f1af80729e51e9c49167523b0553d1 100644
|
| --- a/client/html/src/Window.dart
|
| +++ b/client/html/src/Window.dart
|
| @@ -263,8 +263,6 @@ interface Window extends EventTarget {
|
|
|
| void focus();
|
|
|
| - CSSStyleDeclaration getComputedStyle([Element element, String pseudoElement]);
|
| -
|
| DOMSelection getSelection();
|
|
|
| MediaQueryList matchMedia(String query);
|
| @@ -295,7 +293,7 @@ interface Window extends EventTarget {
|
|
|
| int setInterval(TimeoutHandler handler, int timeout);
|
|
|
| - int setTimeout([TimeoutHandler handler, int timeout]);
|
| + int setTimeout(TimeoutHandler handler, int timeout);
|
|
|
| Object showModalDialog(String url, [Object dialogArgs, String featureArgs]);
|
|
|
| @@ -303,12 +301,15 @@ interface Window extends EventTarget {
|
|
|
| void webkitCancelRequestAnimationFrame(int id);
|
|
|
| + // TODO(jacobr): make these return Future<Point>.
|
| Point webkitConvertPointFromNodeToPage([Node node, Point p]);
|
|
|
| Point webkitConvertPointFromPageToNode([Node node, Point p]);
|
|
|
| int webkitRequestAnimationFrame(RequestAnimationFrameCallback callback, [Element element]);
|
|
|
| + void requestLayoutFrame(TimeoutHandler callback);
|
| +
|
| // Window open(String url, String target, WindowSpec features);
|
|
|
| WindowEvents get on();
|
|
|