33   static threads: { id: number; tid: number; name: string }[] | undefined;  property in Top20FrequencyThread
127     if (Top20FrequencyThread.threads === undefined) {
128       Top20FrequencyThread.threads = (await queryThreads()) || [];
129 …this.nodata!.noData = Top20FrequencyThread.threads === undefined || Top20FrequencyThread.threads.l…
131       let threads = Top20FrequencyThread.threads.map((it) => {
137       this.threadSelect!.append(...threads);
139       this.threadSelect!.value = Top20FrequencyThread.threads[0].tid + '';
140       this.currentThread!.textContent = Top20FrequencyThread.threads[0].name;
141       this.currentTid = Top20FrequencyThread.threads[0].tid;
149         Top20FrequencyThread.threads === undefined ||
150         Top20FrequencyThread.threads.length === 0 ||