Method updateSelection

deps/v8/tools/turbolizer/src/views/code-view.ts:194–204

(scrollIntoView: boolean = false)

  }

  private updateSelection(scrollIntoView: boolean = false): void {
    const mkVisible = new ViewElements(this.divNode.parentNode as HTMLElement);
    for (const [sp, els] of this.sourcePositionToHtmlElements.entries()) {
      const isSelected = this.sourcePositionSelection.isKeySelected(sp);
      for (const el of els) {
        mkVisible.consider(el, isSelected);
        el.classList.toggle("selected", isSelected);
      }
    }
    mkVisible.apply(scrollIntoView);
  }

  private getCodeHtmlElementName(): string {
    return `source-pre-${this.source.sourceId}`;