| Index: lib/dom/src/Timer.dart
|
| diff --git a/lib/dom/src/Timer.dart b/lib/dom/src/Timer.dart
|
| index 689c4c2c4012c305f912bda6cf6f5bc1a3cfd46e..35ceac29da66e27906a68d565814e2c0909340ce 100644
|
| --- a/lib/dom/src/Timer.dart
|
| +++ b/lib/dom/src/Timer.dart
|
| @@ -11,19 +11,18 @@ class _Timer implements Timer {
|
| 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;
|
| - };
|
| +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;
|
| +};
|
|
|