From bcdebe7648b50975d28e7cf2ad7c2625f63df700 Mon Sep 17 00:00:00 2001 From: Daniel Imms Date: Mon, 21 Oct 2019 18:46:26 -0700 Subject: [PATCH] Remove duplicate switch case Guessing this one was the result of a bad merge? --- src/Terminal.ts | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/src/Terminal.ts b/src/Terminal.ts index 852d424d..597c14cd 100644 --- a/src/Terminal.ts +++ b/src/Terminal.ts @@ -383,18 +383,6 @@ export class Terminal extends Disposable implements ITerminal, IDisposable, IInp case 'theme': this._setTheme(this.optionsService.options.theme); break; - case 'scrollback': - const newBufferLength = this.rows + this.optionsService.options.scrollback; - if (this.buffer.lines.length > newBufferLength) { - const amountToTrim = this.buffer.lines.length - newBufferLength; - const needsRefresh = (this.buffer.ydisp - amountToTrim < 0); - this.buffer.lines.trimStart(amountToTrim); - this.buffer.ybase = Math.max(this.buffer.ybase - amountToTrim, 0); - this.buffer.ydisp = Math.max(this.buffer.ydisp - amountToTrim, 0); - if (needsRefresh) { - this.refresh(0, this.rows - 1); - } - } case 'windowsMode': if (this.optionsService.options.windowsMode) { if (!this._windowsMode) {