Clear refresh timeout on clearOverlay

2fast2fourier · 2fast2fourier · commit b2b02aea01c9 · 2015-05-22T12:49:38.000-07:00
diff --git a/plugins/editor/index.js b/plugins/editor/index.js
@@ -31,7 +31,7 @@ function editor(app, opts, done){
   function output(evt){
     buffer.update(evt);
 
-    if(refreshQueued){
+    if(refreshQueued != null){
       return;
     }
     if(lastRefresh < Date.now() - refreshDelayMillis){
@@ -55,6 +55,11 @@ function editor(app, opts, done){
     if(outputConsole){
       outputConsole.innerHTML = buffer.getConsoleHTML();
     }
+    if(refreshQueued != null){
+      clearInterval(refreshQueued);
+      refreshQueued = null;
+    }
+    lastRefresh = 0;
   }
 
   output.clear = clearOutput;

Original file line number	Diff line number	Diff line change
`@@ -31,7 +31,7 @@ function editor(app, opts, done){`
`31`	`31`	`function output(evt){`
`32`	`32`	`buffer.update(evt);`
`33`	`33`
`34`		`- if(refreshQueued){`
	`34`	`+ if(refreshQueued != null){`
`35`	`35`	`return;`
`36`	`36`	`}`
`37`	`37`	`if(lastRefresh < Date.now() - refreshDelayMillis){`
`@@ -55,6 +55,11 @@ function editor(app, opts, done){`
`55`	`55`	`if(outputConsole){`
`56`	`56`	`outputConsole.innerHTML = buffer.getConsoleHTML();`
`57`	`57`	`}`
	`58`	`+ if(refreshQueued != null){`
	`59`	`+ clearInterval(refreshQueued);`
	`60`	`+ refreshQueued = null;`
	`61`	`+ }`
	`62`	`+ lastRefresh = 0;`
`58`	`63`	`}`
`59`	`64`
`60`	`65`	`output.clear = clearOutput;`