diff --git a/src/Renderer.ts b/src/Renderer.ts index 82f5a3ee..f0f50f61 100644 --- a/src/Renderer.ts +++ b/src/Renderer.ts @@ -365,11 +365,15 @@ export class Renderer { this._terminal.selectionContainer.appendChild(documentFragment); } + /** + * Creates a selection element at the specified position. + * @param row The row of the selection. + * @param colStart The start column. + * @param colEnd The end columns. + */ private _createSelectionElement(row: number, colStart: number, colEnd: number): HTMLElement { const element = document.createElement('div'); - // TODO: Move into a generated