Lines Matching defs:mainLoop
1927 mainLoop:
2064 if (next <= 0) break mainLoop; // End of input.
2074 break mainLoop;
3176 var Browser={mainLoop:{scheduler:null,shouldPause:false,paused:false,queue:[],pause:function () {
3177 Browser.mainLoop.shouldPause = true;
3179 if (Browser.mainLoop.paused) {
3180 Browser.mainLoop.paused = false;
3181 Browser.mainLoop.scheduler();
3183 Browser.mainLoop.shouldPause = false;
3187 var remaining = Browser.mainLoop.remainingBlockers;
3188 var expected = Browser.mainLoop.expectedBlockers;
3505 Module["pauseMainLoop"] = function() { Browser.mainLoop.pause() };
3506 Module["resumeMainLoop"] = function() { Browser.mainLoop.resume() };