Index: tools/dom/src/Timer.dart |
diff --git a/tools/dom/src/Timer.dart b/tools/dom/src/Timer.dart |
index 01048ea844913e43e04b6cb342eff985d46d9597..91ad28118c1d4cdf6f4308a7e0ad06ecf2317648 100644 |
--- a/tools/dom/src/Timer.dart |
+++ b/tools/dom/src/Timer.dart |
@@ -17,11 +17,11 @@ get _timerFactoryClosure => (int milliSeconds, void callback(Timer timer), bool |
var maker; |
var canceller; |
if (repeating) { |
- maker = window._setInterval; |
- canceller = window._clearInterval; |
+ maker = window.setInterval; |
+ canceller = window.clearInterval; |
} else { |
- maker = window._setTimeout; |
- canceller = window._clearTimeout; |
+ maker = window.setTimeout; |
+ canceller = window.clearTimeout; |
} |
Timer timer; |
final int id = maker(() { callback(timer); }, milliSeconds); |