From ec3bf1139d7cac9b0316d00d027981a1407595e7 Mon Sep 17 00:00:00 2001 From: Daniel Imms Date: Tue, 6 Jun 2017 22:33:32 -0700 Subject: [PATCH] Resolve TODOs --- src/Renderer.ts | 15 +++++---------- 1 file changed, 5 insertions(+), 10 deletions(-) diff --git a/src/Renderer.ts b/src/Renderer.ts index a1b4270d..82f5a3ee 100644 --- a/src/Renderer.ts +++ b/src/Renderer.ts @@ -319,9 +319,12 @@ export class Renderer { this._terminal.emit('refresh', {element: this._terminal.element, start: start, end: end}); }; + /** + * Refreshes the selection in the DOM. + * @param start The selection start. + * @param end The selection end. + */ public refreshSelection(start: [number, number], end: [number, number]) { - console.log('renderer, refresh:', start, end); - // Remove all selections while (this._terminal.selectionContainer.children.length) { this._terminal.selectionContainer.removeChild(this._terminal.selectionContainer.children[0]); @@ -343,14 +346,6 @@ export class Renderer { return; } - console.log('viewportStartRow', viewportCappedStartRow); - console.log('viewportEndRow', viewportCappedEndRow); - - // TODO: Only redraw selections when necessary - - // TODO: Fix selection on the first row going out the left of the terminal - // TODO: Fix selection on the last row not going to the last column - // Create the selections const documentFragment = document.createDocumentFragment(); // Draw first row