Searched refs:spacer (Results 1 – 2 of 2) sorted by relevance
99 private spacer: HTMLDivElement | undefined | null; property in TraceSheet306 this.spacer = this.parentElement?.querySelector('.spacer');381 if (that.spacer!.offsetHeight > that.rowsPaneEL!.offsetHeight) {387 …that.search!.offsetHeight + that.timerShaft!.offsetHeight + borderTop + that.spacer!.offsetHeight …398 …that.search!.offsetHeight + that.timerShaft!.offsetHeight + borderTop + that.spacer!.offsetHeight …406 that.spacer!.offsetHeight +414 that.spacer!.offsetHeight +
1019 let spacer = this.parentElement!.previousElementSibling! as HTMLDivElement; variable1031 it.style.top = `${spacer.offsetTop + 48}px`;