From 59097a29ce475b5d0b83f84bc969264d8cb892dd Mon Sep 17 00:00:00 2001 From: nuintun Date: Wed, 25 Nov 2015 14:54:54 +0800 Subject: [PATCH] update files --- static/js/terminal/lib/range.js | 15 --------------- 1 file changed, 15 deletions(-) diff --git a/static/js/terminal/lib/range.js b/static/js/terminal/lib/range.js index 7248999..5b4802b 100644 --- a/static/js/terminal/lib/range.js +++ b/static/js/terminal/lib/range.js @@ -4,26 +4,11 @@ 'use strict'; -function addRowsOnDemand(){ - while (this.y >= this.rows) { - this.lines.push(this.blankLine()); - - var div = document.createElement('div'); - - this.element.appendChild(div); - this.children.push(div); - - this.rows++; - } -} - module.exports = function (Terminal){ Terminal.prototype.updateRange = function (y){ if (y < this.refreshStart) this.refreshStart = y; if (y > this.refreshEnd) this.refreshEnd = y; - - addRowsOnDemand.bind(this)(); }; Terminal.prototype.maxRange = function (){