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