Searched refs:shellDiv (Results 1 – 2 of 2) sorted by relevance
25 shellDiv: HTMLDivElement | null | undefined; property in SpWebHdcShell64 this.shellDiv = this.shadowRoot!.querySelector<HTMLDivElement>('.shell_cmd_div');381 this.prevTextY = this.shellDiv!.scrollTop + this.shellDiv!.clientHeight - 3;382 if (scroller && this.textY > this.shellDiv!.clientHeight && this.textY > this.prevTextY) {383 this.shellDiv!.scrollTop = this.textY - this.shellDiv!.clientHeight + 3;384 this.currentScreenRemain = this.shellDiv!.scrollTop;463 this.shellDiv!.scrollTop = 0;
742 recordTrace.spWebShell!.shellDiv!.scrollTop = recordTrace.spWebShell!.currentScreenRemain;