Function selectionHandlerSelect

deps/v8/tools/turbolizer/src/views/text-view.ts:279–285

(selection: SelectionMap, ids: Array<any>,
    selected: boolean, scrollIntoView: boolean = false)

  }

  private selectionHandlerSelect(selection: SelectionMap, ids: Array<any>,
    selected: boolean, scrollIntoView: boolean = false): void {
    this.selectionCleared = false;
    const firstSelect = scrollIntoView ? this.blockSelections.current.isEmpty() : false;
    selection.select(ids, selected);
    this.updateSelection(firstSelect);
  }

  private selectionHandlerClear(): void {
    this.clearSelection();