Searched refs:targetDiv (Results 1 – 1 of 1) sorted by relevance
193 const targetDiv = e.target as HTMLDivElement; constant194 if (targetDiv.classList.contains("line-number")) {196 view.onSelectLine(Number(targetDiv.dataset.lineNumber), !e.shiftKey);