(lineElement: HTMLElement, lineNumber: number)
| 271 | } |
| 272 | |
| 273 | private insertLineNumber(lineElement: HTMLElement, lineNumber: number): void { |
| 274 | const lineNumberElement = document.createElement("div"); |
| 275 | lineNumberElement.classList.add("line-number"); |
| 276 | lineNumberElement.dataset.lineNumber = String(lineNumber); |
| 277 | lineNumberElement.innerText = String(lineNumber); |
| 278 | lineElement.insertBefore(lineNumberElement, lineElement.firstChild); |
| 279 | for (const sourcePosition of this.sourceResolver.lineToSourcePositions(lineNumber - 1)) { |
| 280 | this.addHtmlElementToSourcePosition(sourcePosition, lineElement); |
| 281 | } |
| 282 | } |
| 283 | } |
no test coverage detected