| Index: sdk/lib/html/src/Timer.dart
|
| diff --git a/sdk/lib/html/src/Timer.dart b/sdk/lib/html/src/Timer.dart
|
| deleted file mode 100644
|
| index 91ad28118c1d4cdf6f4308a7e0ad06ecf2317648..0000000000000000000000000000000000000000
|
| --- a/sdk/lib/html/src/Timer.dart
|
| +++ /dev/null
|
| @@ -1,30 +0,0 @@
|
| -// 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.
|
| -
|
| -part of html;
|
| -
|
| -// TODO(antonm): support not DOM isolates too.
|
| -class _Timer implements Timer {
|
| - final canceller;
|
| -
|
| - _Timer(this.canceller);
|
| -
|
| - void cancel() { canceller(); }
|
| -}
|
| -
|
| -get _timerFactoryClosure => (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;
|
| -};
|
|
|