Throttle html refresh events

Author: 2fast2fourier

plugins/editor/index.js

@@ -22,14 +22,32 @@ function editor(app, opts, done){
   var outputConsole;
   var buffer = new ConsoleBuffer();
 
+  var refreshQueued = null;
+  var lastRefresh = 0;
+  var refreshDelayMillis = 64;
+
   var space = app.workspace;
 
   function output(evt){
     buffer.update(evt);
+
+    if(refreshQueued){
+      return;
+    }
+    if(lastRefresh < Date.now() - refreshDelayMillis){
+      refreshConsole();
+    }else{
+      refreshQueued = setTimeout(refreshConsole, refreshDelayMillis);
+    }
+  }
+
+  function refreshConsole(){
     if(outputConsole){
       outputConsole.innerHTML = buffer.getConsoleHTML();
       outputConsole.scrollTop = outputConsole.scrollHeight;
     }
+    refreshQueued = null;
+    lastRefresh = Date.now();
   }
 
   function clearOutput(){