(function ()()

in addon/src/dxr.js [16:40]


(function () {
  // Don't do anything if this isn't a file.
  const panel = getNavigationPanel();
  if (!panel) {
    return;
  }

  const path = getPath();
  if (!path || !isCoverageSupported(path)) {
    return;
  }

  // Get the current revision.
  const revPattern = new RegExp("Mercurial \\(([0-9a-f]+)\\)");
  const m = panel.innerHTML.match(revPattern);
  const revPromise = Promise.resolve(m[1]);

  const button = injectToggle(revPromise, path, applyOverlay, removeOverlay);
  if (!button) {
    return;
  }

  let treeSelector = document.getElementById("tree-selector");
  treeSelector.appendChild(button);
})();