Searched defs:rangeHeader (Results 1 – 1 of 1) sorted by relevance
262 const rangeHeader = (this.ranges.getElementsByClassName("range-header")[0] as HTMLElement); constant273 …const gridHeight = rangeHeight - rangeHeader.clientHeight - rangeTitle.clientHeight - rangeHeaderL… constant