Searched refs:timerID (Results 1 – 1 of 1) sorted by relevance
55 var timerID = null; variable57 if (timerID != null) {58 window.clearTimeout(timerID);60 timerID = window.setTimeout(function() {68 timerID = null;