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