fix terminal element clearing.

samlecuyer · Jul 30, 2015 · dc95fc6 · dc95fc6
1 parent eeb9038
commit dc95fc6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lib/widgets/terminal.js b/lib/widgets/terminal.js
@@ -398,6 +398,7 @@ Terminal.prototype.kill = function() {
     this.pty.destroy();
     this.pty.kill();
   }
+  this.term.refresh = function() {};
   this.term.write('\x1b[H\x1b[J');
 };