tools/dom/src/Timer.dart - Issue 12212200: "Reverting 18531"

Keyboard Shortcuts

	File
u :	up to issue
j / k :	jump to file after / before current file
J / K :	jump to next file with a comment after / before current file
	Side-by-side diff
i :	toggle intra-line diffs
e :	expand all comments
c :	collapse all comments
s :	toggle showing all comments
n / p :	next / previous diff chunk or comment
N / P :	next / previous comment
<Up> / <Down> :	next / previous line

	Issue
u :	up to list of issues
j / k :	jump to patch after / before current patch
o / <Enter> :	open current patch in side-by-side view
i :	open current patch in unified diff view

	Issue List
j / k :	jump to issue after / before current issue
o / <Enter> :	open current issue

Unified Diff: tools/dom/src/Timer.dart

Issue 12212200: "Reverting 18531" (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart

Patch Set: Created 7 years, 10 months ago

Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.

Jump to:

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);