Searched refs:headerEl (Results 1 – 1 of 1) sorted by relevance
574 const headerEl = createElement("div", "range-header"); constant581 headerEl.appendChild(this.view.divs.positionHeaders);582 headerEl.onscroll = () => {587 return headerEl;593 const headerEl = createElement("div", "range-block-ids"); constant594 headerEl.style.gridTemplateColumns = this.gridTemplateColumns;610 headerEl.appendChild(elementForBlockIndex(blockIndex, i, instrCount));614 return headerEl;618 const headerEl = createElement("div", "range-instruction-ids"); constant619 headerEl.style.gridTemplateColumns = this.gridTemplateColumns;[all …]