Function updateDots

example/tests/gm_value_test.js:1138–1148

(fid, ids)

  }

  function updateDots(fid, ids) {
    const refs = panelRefs[fid];
    if (!refs) return;

    const { dotMap } = refs;
    const activeKeys = new Set((ids || []).map(x => x.key));

    for (const [k, dot] of Object.entries(dotMap)) {
      dot.className = 'dot' + (activeKeys.has(k) ? ' on' : '');
    }
  }
})();