Searched refs:elementForPositionHeader (Results 1 – 1 of 1) sorted by relevance
579 this.view.divs.positionHeaders.appendChild(this.elementForPositionHeader());639 private elementForPositionHeader() { method in RangeViewConstructor