| Index: lib/html/dartium/html_dartium.dart
|
| diff --git a/lib/html/dartium/html_dartium.dart b/lib/html/dartium/html_dartium.dart
|
| index dfe5957191db7b9f31f649ace41ebe4a3fed4650..19ab8a9d7aef104b443e66263a6e994d5c0579e1 100644
|
| --- a/lib/html/dartium/html_dartium.dart
|
| +++ b/lib/html/dartium/html_dartium.dart
|
| @@ -40565,6 +40565,35 @@ interface ReadyState {
|
| */
|
| static final String COMPLETE = "complete";
|
| }
|
| +// 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
|
| +// BSD-style license that can be found in the LICENSE file.
|
| +
|
| +// TODO(antonm): support not DOM isolates too.
|
| +class _Timer implements Timer {
|
| + final canceller;
|
| +
|
| + _Timer(this.canceller);
|
| +
|
| + void cancel() { canceller(); }
|
| +}
|
| +
|
| +_getTimerFactoryClosure() =>
|
| + (int milliSeconds, void callback(Timer timer), bool repeating) {
|
| + var maker;
|
| + var canceller;
|
| + if (repeating) {
|
| + maker = window.setInterval;
|
| + canceller = window.clearInterval;
|
| + } else {
|
| + maker = window.setTimeout;
|
| + canceller = window.clearTimeout;
|
| + }
|
| + Timer timer;
|
| + final int id = maker(() { callback(timer); }, milliSeconds);
|
| + timer = new _Timer(() { canceller(id); });
|
| + return timer;
|
| + };
|
| // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file
|
| // 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.
|
|
|