()
| 212 | } |
| 213 | |
| 214 | private getHtmlCodeLines(): NodeListOf<HTMLElement> { |
| 215 | const orderList = this.divNode.querySelector(`#${this.getCodeHtmlElementName()} ol`); |
| 216 | return orderList.childNodes as NodeListOf<HTMLElement>; |
| 217 | } |
| 218 | |
| 219 | private onSelectLine(lineNumber: number, doClear: boolean) { |
| 220 | if (doClear) { |
no test coverage detected